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.
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Boston, EUA :
Kluwer,
2002, c2002
|
| Col·lecció: | (The Kluwer International Series in Engineering and Computer Science ;
676) |
| Matèries: | |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: 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 /