Discrete-Event Modelling in VDM

Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce. Discrete-Event Modelling in VDM. In John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors, Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. pages 61-95, Springer, 2014. [doi]

Abstract

Abstract is missing.