Advances in Verification of Time Petri Nets and Timed Automata
Penczek, Wojciech, Pólrola, Agata
| Autor: | Penczek, Wojciech Pólrola, Agata |
|---|---|
| Themengebiete: | Automatentheorie Petri-Netz |
| Veröffentlichungsdatum: | 26.06.2006 |
| EAN: | 9783540328698 |
| Sprache: | Englisch |
| Seitenzahl: | 292 |
| Produktart: | Gebunden |
| Verlag: | Springer Springer-Verlag GmbH |
| Untertitel: | A Temporal Logic Approach |
Produktinformationen "Advances in Verification of Time Petri Nets and Timed Automata"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen