Marcel Verhoef (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink: Co-simulation of Distributed Embedded Real-Time Control Systems. IFM 2007: 639-658

6 Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162

Selection of 2 from 10 records - Marcel Verhoef has 17 coauthors

8		Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink: Co-simulation of Distributed Embedded Real-Time Control Systems. IFM 2007: 639-658
6		Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162