Tripakis, Stavros,
Tripakis, Stavros, 19..-...., auteur en informatique
Stavros Tripakis researcher ORCID ID = 0000-0002-1777-493X
VIAF ID: 90922624 ( Personal )
Permalink: http://viaf.org/viaf/90922624
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automate sur les structures temporisée | |
Formal Modeling and Analysis of Timed Systems, c2011: | |
L'analyse formelle des systèmes temporisés en pratique | |
Méthodes formelles pour les systèmes distribués temps-réel. | |
Model based testing for real-time systems. | |
Test de systèmes temps-réel à base de modèle |