Showing 1 - 5 results of 5 for search 'Uchitel, Sebastian', query time: 0.05s Refine Results
  1. 1
    Incremental elaboration of scenario-based specifications and behaviour models using implied scenarios
    by Uchitel, Sebastian
    Published 2003
    Get full text
  2. 2
    Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts)
    by Bontemps, Yves
    Published 2005
    Other Authors: “...Uchitel, Sebastian...”
    Get full text
    Others
  3. 3
    Foundations for behavioural model elaboration using modal transition systems
    by Fischbein, Dario
    Published 2012
    Other Authors: “...Uchitel, Sebastian...”
    Get full text
  4. 4
    Synthesis and distribution of modal transition systems from triggered scenarios
    by Sibay, German Emir
    Published 2013
    Other Authors: “...Uchitel, Sebastian; Kramer, Jeff...”
    Get full text
  5. 5
    Synthesis of event-based controllers for software engineering
    by D'Ippolito, Nicolas
    Published 2013
    Other Authors: “...Piterman, Nir ; Uchitel, Sebastian...”
    Get full text
Search Tools: Get RSS Feed — Email this Search