Formal Methods for the Design of Real-Time Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Decision Problems for Timed Automata: A Survey
-
Altmetric BadgeChapter 2 Timed Petri Nets: Efficiency of Asynchronous Systems
-
Altmetric BadgeChapter 3 Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
-
Altmetric BadgeChapter 4 Expressiveness of Timed Events and Timed Languages
-
Altmetric BadgeChapter 5 Real Time and Stochastic Time
-
Altmetric BadgeChapter 6 On the Semantic Foundations of Standard UML 2.0
-
Altmetric BadgeChapter 7 A Tutorial on Uppaal
-
Altmetric BadgeChapter 8 The IF Toolset
-
Altmetric BadgeChapter 9 Embedded Software Analysis with MOTOR
Altmetric Badge
Citations
- dimensions_citation
- 10 Dimensions
Readers on
- mendeley
- 256 Mendeley
- citeulike
- 1 CiteULike