Validation Support for Distributed Real-Time Embedded Systems in VDM++

Find Full text
Thumbnail
Fulltext:
36669.pdf
Size:
252.3Kb
Format:
PDF
Description:
preprint version
Download
Publication year
2007
Author(s)
Fitzgerald, John S.
Larsen, Peter Gorm
Tjell, Simon
Verhoef, Marcel
Publisher
New York : Institute of Electrical and Electronics Engineers
In
Proceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE), pp. 331-340
Related links
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/36669   https://hdl.handle.net/2066/36669
Display more details

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.