Verimag
Accueil > Équipes > Tempo > Outils

PHAVer

PHAVer is a tool for reachability analysis of continuous and hybrid systems based on Linear Hybrid Automata.

Voir en ligne : PHAVer Web Page

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 875097