Contact
Recherche
Enseignement
Outils
Personnel
Rechercher :
Matthieu Moy
Accueil
>
Mots-clés
>
Tools
>
Uppaal
Uppaal
Model-checker for timed automata.
Articles
Recherche
>
Exposés
>
Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
Recherche
>
Étudiants/Post-docs
>
Yanhong Liu
Email:
Mots-clés dans le même groupe
PAGAI
Pinapa
PinaVM
sc-during
SimGrid
Spin
SPIP
SystemC
Tuleap
Uppaal
Verse
Vivado HLS
Yices
Z3
1
2
Groupes de mots-clés
Co-workers
Tools
Topics
Type of Student
Year
Langue :
Français
/
English
|
Se connecter
|
Plan du site
|
RSS 2.0
Habillage visuel ©
styleshout
sous Licence
Creative Commons Attribution 2.5 License