survey of formal methods for real time systems
By: Annette Clifford.
Contributors: De Montfort University. School of Mathematics, Computing and Statistics.
Series: Working paper / De Montfort University, School of Mathematics, Computing and Statistics -- No.55; Working paper -- No.55.
Publisher: De Montfort University
Published: 1993
Place of publication: Leicester
Language: eng