Terry Woodings

Publication Activity (10 Years)

Years Active: 1987-2012
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Commit Protocols

Pspace Complete

Top Venues

Publications

Omar I. Al-Bataineh, Tim French, Terry Woodings
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. TIME (2012)
Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology CoRR (2012)
Rachel Cardell-Oliver, Lu Zhang, Rieky Barady, You Hai Lim, Asad Naveed, Terry Woodings
Automated Feedback for Quality Assurance in Software Engineering Education. Australian Software Engineering Conference (2010)
Terry Woodings
The Professional Development and Continuing Education of computing Practitioners. Aust. Comput. J. 19 (4) (1987)