Fulltext present in this item

Thumbnail
Fulltext: 36669.pdf
Format: PDF
Description: preprint version
Title: Validation Support for Distributed Real-Time Embedded Systems in VDM++
Author(s): Fitzgerald, John S.; Larsen, Peter Gorm; Tjell, Simon; Verhoef, Marcel
Publication year: 2007
In: Proceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE), pp. 331-340
Publisher: New York : Institute of Electrical and Electronics Engineers
Related links: http://doi.ieeecomputersociety.org/10.1109/HASE.2007.76
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
Subject: Informatics for Technical Applications
Organization: Software Science
Book title: Proceedings of 10th IEEE International Symposium on High Assurance System Engineering (HASE)
Page start: p. 331
Page end: p. 340

This item appears in the following Collection(s)

Browse

Statistics