Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
verification
2
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. 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

check3 employment4 laboratory2 jobs5 cash3 career4 card3 automation3 engineering4 industrial4 careers3 testing3 credit4 inspection3 debt3 control3 loans4 test3

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.