John Cullyer

According to our database¹, John Cullyer authored at least 4 papers between 1990 and 1993.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1993

Safety critical systems.

[DOI]

Microprocess. Microsystems, 1993

1992

State-of-the-Art in Real-Time Computing Research, Development and Technology.

[DOI]

Proceedings of the Real Time Computing, 1992

Safety Licensing and Formal Correctness of High Integrity Embedded Systems.

[DOI]

Proceedings of the Real Time Computing, 1992

1990

On the development of a formal methods-based software design methodology for automotive applications.

[DOI]

Microprocess. Microsystems, 1990