Strategies for real-time system specification /
57
Main Authors: | 348485 Hatley, Derek J., Pirbhai, Imtiaz A. |
---|---|
Format: | |
Published: |
New York : Dorset House,
1988
|
Subjects: |
Similar Items
-
Constructing predictable real time systems /
by: 396445 Halang, Wolfgang A.
Published: (c199) -
Introduction to the formal design of real-time systems /
by: 223949 Gray, David
Published: (1999) -
Structured development for real-time systems /
by: 392283 Ward, Paul T., et al.
Published: (1985) -
Real-time systems : formal specification and automatic verification /
by: 273586, et al.
Published: (2008) -
Real-time computer control /
by: Bennett, Stuart, et al.
Published: (1984)