Showing 1 - 3 results of 3 for search 'Suzana Andova', query time: 0.02s Refine Results
  1. 1
    Testing Reactive Probabilistic Processes

    Testing Reactive Probabilistic Processes by Sonja Georgievska, Suzana Andova

    Published 2010-06-01
    Get full text
    Article
  2. 2
    Towards reduction of Paradigm coordination models

    Towards reduction of Paradigm coordination models by Suzana Andova, Luuk Groenewegen, Erik de Vink

    Published 2011-08-01
    Get full text
    Article
  3. 3
    Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

    Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models by Suzana Andova, Mark van den Brand, Luc Engelen

    Published 2011-06-01
    Get full text
    Article

Search Tools: