DSpace at RU >

Browsing by Author Verhoef, M.

Full Text	Issue Date	Title	Author(s)
	2010	Formal semantics of a VDM extension for distributed embedded systems	Hooman, J.J.M.; Verhoef, M.
	2007	Co-simulation of Distributed Embedded Real-Time Control Systems	Verhoef, M.; Visser, P.; Hooman, J.J.M.; Broenink, J.; Davies, Jim, et al
	2006	Modeling and Validating Distributed Embedded Real-Time Systems with VDM++	Verhoef, M.; Larsen, P.G.; Hooman, J.J.M.; Misra, Jayadev; Nipkow, Tobias, et al
	2006	Timed Automata Based Analysis of Embedded System Architectures	Hendriks, M.; Verhoef, M.
	2006	Timed Automata Based Analysis of Embedded System Architectures	Hendriks, M.; Verhoef, M.
	2004	Educational career and predictors of type of education in young adults with spina bifida.	Barf, H.A.; Verhoef, M.; Post, M.; Jennekens, A.; Gooskens, R.H., et al