Leon J. G. Bun

According to our database, Leon J. G. Bun authored at least 3 papers between 1995 and 1998.

Collaborative distances:

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

1998

Automatic Analysis of Embedded Systems Specified in Astral.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1996

Closed World Specification of Embedded Real-Time Controllers.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Hybrid specification of control systems.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995