UID:
almahu_9948197970002882
Format:
1 online resource (356 pages) :
,
illustrations
ISBN:
9781118602690
,
1118602692
,
9781118602638
,
1118602633
Content:
"The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement."--Publisher.
Note:
Foreword / Claude Girault -- Introduction / Serge Haddad [and others] -- Introduction to formal models / Laure Petrucci -- Specification and design approaches / Christine Choppy and Laure Petrucci -- Modeling time / Béatrice Bérard -- Architecture description languages / Pascal Poizat and Thomas Vergnaud -- Introduction to verification / Serge Haddad -- Verification of finite-state systems / Jean-François Pradat-Peyre and Yann Thierry-Mieg -- Verification of infinite-state systems / Stéphane Demri and Denis Poitrenaud -- Verification of timed systems / Pierre-Alain Raynier -- Distributed control / Claude Dutheillet, Isabelle Mounier, and Nathalie Sznajder.
Additional Edition:
Print version: Models and analysis in distributed systems. London : ISTE ; Hoboken, NJ : Wiley, 2011 ISBN 9781848213142
Language:
English
Keywords:
Electronic books.
;
Electronic books.
;
Electronic books.
DOI:
10.1002/9781118602638
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602638
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602638
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118602638
Bookmarklink
