Formal methods for real-time computing /

Bibliographic Details

Other Authors:	Heitmeyer, Constance L., Mandrioli, Dino
Format:	Book
Language:	English
Published:	Chichester ; New York : John Wiley, [1996]
Series:	Trends in software ; 5.
Subjects:	Real-time data processing.