Sciweavers

FM
2006
Springer

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

13 years 7 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FM
Authors Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
Comments (0)