Integrating VDM++ and Real-Time System Design

• Authors:

• Kevin Lano;S. J. Goldsack;Juan Bicarregui;Stuart Kent

• Affiliations:

• -;-;-;-

• Venue:
• ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
• Year:
• 1997