A Survey of Formal Methods for Real-time Systems

Scope and Content

Working Paper No. 55, by A Clifford, Computing and Mathematical Sciences Research, School of Mathematics, Computing and Statistics, De Montfort University.