John Cullyer

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

John Cullyer
Safety critical systems. Microprocess. Microsystems 17 (1) (1993)
John Cullyer
Safety Licensing and Formal Correctness of High Integrity Embedded Systems. NATO ASI RTC (1992)
John Cullyer
State-of-the-Art in Real-Time Computing Research, Development and Technology. NATO ASI RTC (1992)
S. Tran, John Cullyer, E. Hines, K. Marks
On the development of a formal methods-based software design methodology for automotive applications. Microprocess. Microsystems 14 (5) (1990)