Leon J. G. Bun

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Automatic Analysis of Embedded Systems Specified in Astral.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1996
Closed World Specification of Embedded Real-Time Controllers.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

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


  Loading...