Marcel Verhoef (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008

9 John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340

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

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

10		John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering 2008
9		John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
6		Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM 2006: 147-162