Foundations of real-time computing : formal specifications and methods /

Bibliographic Details

Corporate Author:	United States. Office of Naval Research
Other Authors:	Van Tilborg, André M., 1953-, Koob, Gary M., 1958-
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [1991]
Series:	Kluwer international series in engineering and computer science ; SECS 142. Kluwer international series in engineering and computer science. Office of naval research advanced book series.
Subjects:	Real-time data processing.