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

modeling3 employment4 testing3 check3 model4 laboratory2 credit4 automation3 industrial4 actress2 verification2 models3 engineering4 inspection3 control3 fashion4 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.