Browsing by Author "Verhoef, M.H.G."

Now showing items 1-7 of 7

Modeling and validating distributed embedded real-time control systems
Verhoef, M.H.G.
2009, Dissertation
Reusing Real-Time Systems Design Experience Through Modelling Patterns
Florescu, O.; Voeten, J.P.M.; Verhoef, M.H.G. ; Corporaal, H.
2007, Part of book or chapter of book (Advances in Design and Specification Languages for Embedded Systems, pp. 329-348)
Evaluating embedded system architectures
Verhoef, M.H.G. ; Hooman, J.J.M.
2006, Part of book or chapter of book (Heemels, W.P.M.H.; Muller, G.J. (ed.), Boderc: Model-based design of high-tech systems, pp. 151-159)
Modeling of performance
Bosch, P.F.A. van den; Florescu, O.; Verhoef, M.H.G. ; Muller, G.J.
2006, Part of book or chapter of book (Heemels, W.P.M.H.; Muller, G.J. (ed.), Boderc: Model-based design of high-tech systems, pp. 101-113)
System Architecture Evaluation Using Modular Performance Analysis - A Case Study
Wandeler, Ernesto; Thiele, Lothar; Verhoef, M.H.G. ; Lieverse, Paul
2005, External research report
On the Use of VDM++ for Specifying Real-time Systems
Verhoef, M.H.G.
2005, External research report
Validated Designs for Object--oriented Systems
Fitzgerald, John; Larsen, P.G.; Mukherjee, Paul; Plat, Nico; Verhoef, M.H.G.
2005, Book (monograph)

Now showing items 1-7 of 7

Search Repository