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

Fulltext present in this item

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
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : http://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

Faculty of Science [25644]
Open Access publications [47355]
Freely accessible full text publications
Electronic publications [74095]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [164673]
Academic output Radboud University