Search Results - Chédor, Sébastien

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems

    Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems by Chédor, Sébastien, Morvan, Christophe, Pinchinat, Sophie, Marchand, Hervé

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Test generation from recursive tile systems

    Test generation from recursive tile systems by Chédor, Sébastien, Jéron, Thierry, Morvan, Christophe

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: