Terry Woodings

According to our database, Terry Woodings authored at least 4 papers between 1987 and 2012.

Collaborative distances:

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

2012

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology

Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings

CoRR, 2012

Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.

Omar I. Al-Bataineh, Tim French, Terry Woodings

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

2010

Automated Feedback for Quality Assurance in Software Engineering Education.

Rachel Cardell-Oliver, Lu Zhang, Rieky Barady, You Hai Lim, Asad Naveed, Terry Woodings

Proceedings of the 21st Australian Software Engineering Conference (ASWEC 2010), 2010

1987

The Professional Development and Continuing Education of computing Practitioners.

Terry Woodings

Aust. Comput. J., 1987