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 9 David Rouillard 10
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 (UMR 6174), 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
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00953275
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 11:17:41 AM
Last modification on : Thursday, December 20, 2018 - 1:30:53 AM

Identifiers

  • 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. ⟨hal-00953275⟩

Share

Metrics

Record views

638