Research issues in the formal development of dependable real-time systems
By: H. Zedan.
Contributors: De Montfort University. Science and Engineering Research Centre.
Series: SERCentre technical monograph series -- 15
Publisher: SERCentre, De Montfort University
Published: 1996
Place of publication: Leicester
Language: eng