Johnathan Randall Garnsworthy

According to our database, Johnathan Randall Garnsworthy authored at least 2 papers in 1990.

Collaborative distances:

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

1990

Fundamental concepts for fault tolerant systems.

Johnathan Randall Garnsworthy

PhD thesis, 1990

SPARK - an annotated Ada subset for safety-critical programming.

Bernard Carré, Johnathan Randall Garnsworthy

Proceedings of the conference on TRI-ADA 1990, 1990