Timed Automata jako narz¿dzie weryfikacyjne dla protoko¿ów bezpiecze¿stwa
Burcu Külahçioglu
Broschiertes Buch

Timed Automata jako narz¿dzie weryfikacyjne dla protoko¿ów bezpiecze¿stwa

Analiza studium przypadku

Versandkostenfrei!
Versandfertig in 6-10 Tagen
31,99 €
inkl. MwSt.
PAYBACK Punkte
16 °P sammeln!
Automatyka czasowa jest rozszerzeniem automatyki - teoretycznego podej¿cia do modelowania systemów czasu rzeczywistego, które wprowadza czas do klasycznej automatyki. Od czasu, gdy zostäa po raz pierwszy zaproponowana na pocz¿tku lat dziewi¿¿dziesi¿tych, stäa si¿ wänym obszarem badä i by¿a szeroko badana zarówno w kontek¿cie j¿zyków formalnych, jak i modelowania i weryfikacji systemów czasu rzeczywistego. Automaty czasu rzeczywistego wykorzystuj¿ g¿ste modelowanie czasowe, pozwalaj¿ce na sprawne sprawdzanie modeli systemów wräliwych na czas, których prawid¿owe funkcjon...