Search
for Author
All Reviews
Franklin, Matthew
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
Multilevel specification of real time systems
Gabrielian A., Franklin M. Communications of the ACM 34(5): 50-60, 1991. Type: Article
The specification method for real-time software presented in this tutorial has been partly described by the authors in other published reports. The method centers around a hierarchy of automata, in which multiple states can be active a...
...
May 1 1992
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy