Showing 1 - 8 results of 8 for search '"verification model"', query time: 1.55s Refine Results
  1. 1
  2. 2
  3. 3
    by Radosław Klimek, Piotr Szwed
    Published 2010-01-01
    Subjects: ...UML; use case; formal model; verification; model checking; temporal logic; semantic tableau...
    Get full text
    Article
  4. 4
    Subjects: ...calibration verification model...
    Get full text
    Article
  5. 5
    Subjects: ...Online signature verification model...
    Get full text
  6. 6
    by Mounier, A. Yessad, T. Carron
    Published 2014-05-01
    Subjects: ...Scenario Modeling; Scenario Verification; Model Checking; Symmetric Petri Nets...
    Get full text
    Article
  7. 7
  8. 8