Items where Author is "Whittle, Jon"

Ab Rahim, Lukman and Whittle, Jon (2011) Identifying state space reduction techniques from behavioural design patterns. In: Proceedings of the Third Workshop on Behavioural Modelling.

Rahim, Lukman Ab and Whittle, Jon (2010) Verifying Semantic Conformance of State Machine-to-Java Code Generators. In: Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings, Part I.