Compositional Verification of Concurrent and Real-Time Systems /
Contenido: Introducción; Técnicas de verificación para sistemas concurrentes; Sistemas de transición de etiqueta múltiple; Verificación compositiva usando MLTS; Verificación compositiva usando redes de Petri; Herramientas y experimentos; Retraso del tiempo en la redes de Petri y reducción neta.
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Boston, EUA :
Kluwer,
2002, c2002
|
| Edice: | (The Kluwer International Series in Engineering and Computer Science ;
676) |
| Témata: | |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky: Compositional Verification of Concurrent and Real-Time Systems /
- Real-Time Systems : Scheduling, Analysis, and Verification /
- Designing Concurrent, Distributed, and Real-Time Applications with UML /
- Handbook of Real-Time and Embedded Systems /
- Real-Time Systems Design and Analysis : An Engineer's Handbook /
- Real-Time Systems /
- Computer Organisation and Architecture : Evolutionary Concepts, Principles, and Designs /