Showing 1 - 6 results of 6 for search 'University of Ottawa (Canada)', query time: 1.33s Refine Results
  1. 1
    Detecting feature interactions and feature inconsistencies in CPL
    by Xu, Yiqun
    Published 2013
    “...University of Ottawa (Canada)...”
    Get full text
    Get full text
    Others
  2. 2
    The feature interaction problem: Automatic filtering of incoherences and generation of validation test suites at the design stage.
    by Gorse, Nicolas.
    Published 2009
    “...University of Ottawa (Canada)...”
    Get full text
    Get full text
    Others
  3. 3
    Developing mobile distributed intelligent network services using RM-ODP.
    by Rampal, Gaurav S.
    Published 2009
    “...University of Ottawa (Canada)...”
    Get full text
    Get full text
    Others
  4. 4
    Symbolic execution of LOTOS specifications.
    by Ashkar, Pierre.
    Published 2009
    “...University of Ottawa (Canada)...”
    Get full text
    Get full text
    Others
  5. 5
    LOTOS based conformance testing: The theory and a tool.
    by Jaouani, Rafik.
    Published 2009
    “...University of Ottawa (Canada)...”
    Get full text
    Get full text
    Others
  6. 6
    A model checker for LOTOS.
    by Ghribi, Brahim.
    Published 2009
    “...University of Ottawa (Canada)...”
    Get full text
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search