The formal specification of the requirements of complex real-time systems
By: (by) W.J. Quirk and R. Gilbert.
Contributors: Gilbert, R.; Great Britain. Atomic Energy Research Establishment. Computer Science and Systems Divisions.
Series: AERE-R (Series) -- 8602
Publisher: Computer Science and Systems Division, AERE
Published: 1977
Place of publication: Harwell
Language: eng
Number of pages: 55