Search Results - Whittle, Jon

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Verifying Semantic Conformance of State Machine-to-Java Code Generators

    Verifying Semantic Conformance of State Machine-to-Java Code Generators by Rahim, Lukman Ab, Whittle, Jon

    Published 2010
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  2. 2
    Identifying state space reduction techniques from behavioural design patterns

    Identifying state space reduction techniques from behavioural design patterns by Ab Rahim, Lukman, Whittle, Jon

    Published 2011
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:

Search Tools: