Working Paper No. 55, by A Clifford, Computing and Mathematical Sciences Research, School of Mathematics, Computing and Statistics, De Montfort University.
A Survey of Formal Methods for Real-time Systems
Archive Unit
- For more information, email the repository
- Advice on accessing these materials
- Cite this description
- Bookmark:http://archiveshub.jisc.ac.uk/data/gb3071-d/031/d/031/l/24
- This material is held at
- ReferenceGB 3071 D/031/L/24
- Dates of CreationSeptember 1993
- Physical DescriptionOne booklet