An executable subset of VDM-SL in an SA/RT framework

Real-Time Systems 1993 / 05 Vol. 5; Iss. 2-3

An executable subset of VDM-SL in an SA/RT framework

René Elmstrøm, Poul Bøgh Lassen, Michael Andersen
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
5
Language:
english
Pages:
15
DOI:
10.1007/bf01088588
Date:
May, 1993
File:
PDF, 1.01 MB
english, 1993
Conversion to is in progress
Conversion to is failed