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