Darren George Priddin

According to our database, Darren George Priddin authored at least 2 papers between 1998 and 1999.

Collaborative distances:

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

1999

Method integration for real-time system design and verification.

Darren George Priddin

PhD thesis, 1999

1998

Integrating Real-Time Structured Design and Formal Techniques.

Darren George Priddin, Alan Burns

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998