Validation support for distributed real-time embedded systems in VDM++ (2007)

Author(s): Fitzgerald JS, Tjell S, Larsen PG, Verhoef M

      • Conference Name: Proceedings of IEEE International Symposium on High Assurance Systems Engineering
      • Pages: 331-340
      • Publisher: IEEE
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Professor John Fitzgerald
      Director of the Centre for Software Reliability