Leo J. van Bokhoven

According to our database, Leo J. van Bokhoven authored at least 3 papers between 1999 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Platform-independent Design for Embedded Real-time Systems .

Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven

Proceedings of the Forum on specification and Design Languages, 2003

2001

Object-oriented modelling and specification using SHE.

Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens

Comput. Lang., 2001

1999

Software Synthesis for System Level Design Using Process Execution Trees.

Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen

Proceedings of the 25th EUROMICRO '99 Conference, 1999