Verification of Timed Systems (English)
- New search for: Haddad, Serge
- New search for: Kordon, Fabrice
- New search for: Pautet, Laurent
- New search for: Petrucci, Laure
In:
Models and Analysis in Distributed Systems
;
271-306
;
2011
-
ISBN:
- Article/Chapter (Book) / Electronic Resource
-
Title:Verification of Timed Systems
-
Contributors:Haddad, Serge ( editor ) / Kordon, Fabrice ( editor ) / Pautet, Laurent ( editor ) / Petrucci, Laure ( editor )
-
Published in:
-
Publisher:
- New search for: John Wiley & Sons, Inc
-
Place of publication:Hoboken, NJ, USA
-
Publication date:2011-07-05
-
Size:36 pages
-
ISBN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 17
-
Introduction| 2011
- 21
-
Introduction to Formal Models| 2011
- 41
-
Specification and Design Approaches| 2011
- 63
-
Modeling Time| 2011
- 97
-
Architecture Description Languages| 2011
- 135
-
Introduction to Verification| 2011
- 155
-
Verification of Finite‐State Systems| 2011
- 221
-
Verification of Infinite‐State Systems| 2011
- 271
-
Verification of Timed Systems| 2011
- 307
-
Distributed Control| 2011
- 353
-
Index| 2011
- i
-
Front Matter| 2011