Nicolas Navet & Stephan Merz 
Modeling and Verification of Real-time Systems [PDF ebook] 
Formalisms and Software Tools

Soporte

This title is devoted to presenting some of the most important
concepts and techniques for describing real-time systems and
analyzing their behavior in order to enable the designer to achieve
guarantees of temporal correctness.
Topics addressed include mathematical models of real-time
systems and associated formal verification techniques such as model
checking, probabilistic modeling and verification, programming and
description languages, and validation approaches based on...

leer más
€215.99
Métodos de pago

Tabla de materias

Chapter 1. Time Petri Nets: Analysis Methods and Verification with TINA (Bernard Berthomieu, François Vernadat).
Chapter 2. Validation of Reactive Systems by Mean...

leer más

Sobre el autor

Stephan Merz is a researcher at INRIA Lorraine (Nancy,
France). He is interested in formal methods for the analysis and
construction of reliable software systems, ...

leer más
¡Compre este libro electrónico y obtenga 1 más GRATIS!
Idioma Inglés ● Formato PDF ● Páginas 448 ● ISBN 9780470393598 ● Tamaño de archivo 3.0 MB ● Editor Nicolas Navet & Stephan Merz ● Editorial John Wiley & Sons ● Publicado 2010 ● Edición 1 ● Descargable 24 meses ● Divisa EUR ● ID 2316775 ● Protección de copia Adobe DRM
Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

18.868 Ebooks en esta categoría