Leo J. van Bokhoven

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven
Platform-independent Design for Embedded Real-time Systems . FDL (2003)
Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens
Object-oriented modelling and specification using SHE. Comput. Lang. 27 (1/3) (2001)
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
Software Synthesis for System Level Design Using Process Execution Trees. EUROMICRO (1999)