Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Tapa blanda

 
9783662194003: Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Tapa blanda
ISBN 10: 3662194007 ISBN 13: 9783662194003
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

Tutorials and Papers.- Model Checking: A Tutorial Overview.- Theorem Proving for Verification.- Composition and Abstraction.- UPPAAL - Now, Next, and Future.- HMSCs as Partial Specifications...with PNs as Completions.- Industrial Applications of Model Checking.- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.- Annotated Bibliographies.- Verification of Systems with an Infinite State Space.- Testing Transition Systems: An Annotated Bibliography.- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.- Mobile Processes: A Commented Bibliography.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3662194007
ISBN 13 
9783662194003
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783540427872: Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540427872 ISBN 13:  9783540427872
Editorial: Springer, 2008
Tapa blanda