TASCCC - Project and Testing Tool (poster and demo)

Kalou Cabrera Castillos 1, 2 Frédéric Dadeau 1, 2 Yves Ledru 3 Lydie Du Bousquet 4 Taha Triki 3 Safouan Taha 5 Bruno Legeard 6 Julien Botella 7 Boutheina Chetali 8 Bernet Julien David Rouillard
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 VASCO
LIG - Laboratoire d'Informatique de Grenoble, UJF - Université Joseph Fourier - Grenoble 1
4 VASCO
LIG - Laboratoire d'Informatique de Grenoble
Résumé : no abstract
Type de document :
Communication dans un congrès
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00953275
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 11:17:41
Dernière modification le : jeudi 11 janvier 2018 - 06:27:13

Identifiants

  • HAL Id : hal-00953275, version 1

Citation

Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki, et al.. TASCCC - Project and Testing Tool (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241, 2012. 〈hal-00953275〉

Partager

Métriques

Consultations de la notice

412