TOURS (Testing On Reactive Unfolded Systems).

Hernan Ponce de Leon 1, 2 Stefan Schwoon 1, 2 Konstantinos Athanasiou 1, 2
1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Autre publication
tool. 2014
Liste complète des métadonnées
https://hal.inria.fr/hal-01097360
Contributeur : Hernan Ponce de Leon <>
Soumis le : vendredi 19 décembre 2014 - 15:14:25
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

  • HAL Id : hal-01097360, version 1

Collections

INRIA | ENS-CACHAN

Citation

Hernan Ponce de Leon, Stefan Schwoon, Konstantinos Athanasiou. TOURS (Testing On Reactive Unfolded Systems).. tool. 2014. 〈hal-01097360〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

187

Contact


archive-ouverte@inria.fr