Validation Support for Distributed Real-Time Embedded Systems in VDM++
New York : Institute of Electrical and Electronics Engineers
InProceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE), pp. 331-340
Article in monograph or in proceedings
Display more detailsDisplay less details
Proceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE)
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.