Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 3 of 3 for:
model-checking
1 ?
 21,213,375 websites (safe search)

  1. UPPAAL

    UPPAAL is an integrated tool environment for modeling, validation and verification of real-time system modeled as networks of timed automata, extended with data ...
    Simulation2
    Modelling2
    Verification2
    Real-Time Systems1
    Model-Checking1
    Timed Automata0

    www.uppaal.com - 2009-02-04

  2. Willkommen bei www.verify-it.de --- M. Oliver Moeller

    Homepage von M. Oliver Moeller
    CASE3
    automation3
    validation2
    echtzeit1
    methoden1
    verifikation1
    sicherheitskritisch1
    formale1
    modellbasiert1
    eingebettet1
    model-checking1

    www.verify-it.de - 2009-02-07

  3. Homepage of Gordon Fraser

    Publications and CV of Gordon Fraser, researcher on automated testing at Graz University of Technology.
    software7
    testing3
    automation3
    verification2
    Gordon2
    Fraser1
    model checking1
    model-based testing1
    model-checking1

    www.fraser.at - 2009-03-07

credit4 verification2 inspection3 control3 check3 testing3 automation3 engineering4 test3 industrial4 employment4 laboratory2

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.