Advances in Verification of Time Petri Nets and Timed Automata bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783642069420

Hersteller:
Springer Verlag

Herst.-Nr.:
9783642069420

EAN/GTIN:
9783642069420

Suchbegriffe:

allgemeine Technikbücher
allgemeine Technikbücher - englisch...
allgemeine technikbücher - englisch...

Specifying Timed Systems and Their Properties.- Petri Nets with Time.- Timed Automata.- From Time Petri Nets to Timed Automata.- Main Formalisms for Expressing Temporal Properties.- Model Generation and Verification.- Abstract Models.- Explicit Verification.- Verification Based on Satisfiability Checking.

Weitere Informationen:


Author:	Wojciech Penczek; Agata Pólrola
Verlag:	Springer Berlin
Sprache:	eng

... > Naturwissenschaften, Medizin, Informatik, Technik > Technik > Sonstiges

Weitere Suchbegriffe: Computer Science; Development; Model; science, Time Petri Nets, Timed Automata, computer science, development, logic, model, science