Search
for Author
All Reviews
Dierks, Henning
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Real-time systems: formal specification and automatic verification
Olderog E., Dierks H., Cambridge University Press, New York, NY, 2008. 344 pp. Type: Book
The authors’ stated--and well-achieved--purpose for this advanced and highly focused book on formally specifying and automatically verifying real-time embedded safety-critical systems is to bring together du...
...
Sep 15 2009
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy