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.

Podrobná bibliografie

Hlavní autor:	Juan, Eric Y.T (autor)
Další autoři:	Tsai, Jeffrey J.P. (autor) (autor)
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:	Proceso en Paralelo Proceso Electrónico de Datos Sistemas en Tiempo Real Sistemas Computacionales - > Prueba y Medición Redes de Petri Matemáticas de Ingeniería Ingeniería Computacional
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!