↓ Skip to main content

Formal Methods for the Design of Real-Time Systems

Overview of attention for book
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
13 Mendeley