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

game4 modeling3 mmog2 inspection3 industrial4 design7 architettura2 roleplaying2 model4 laboratory2 testing3 check3 fashion4 test3 industrial design2 automation3 models3 arredamento2 verification2 control3 employment4 credit4 mmorpg2 engineering4

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.