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
(3)
,
Taha Triki
(3)
,
Safouan Taha
(4)
,
Bruno Legeard
(5)
,
Julien Botella
(6)
,
Boutheina Chetali
(7)
,
Bernet Julien
(8)
,
David Rouillard
(9)
1
CASSIS -
Combination of approaches to the security of infinite states systems
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
3 VASCO - Validation de Systèmes, Composants et Objets logiciels
4 E3S - Supélec Sciences des Systèmes
5 Smartesting
6 Smartesting - Smartesting
7 GEMALTO - GEMALTO
8 LaBRI - Laboratoire Bordelais de Recherche en Informatique
9 Institut Curie [Paris]
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
3 VASCO - Validation de Systèmes, Composants et Objets logiciels
4 E3S - Supélec Sciences des Systèmes
5 Smartesting
6 Smartesting - Smartesting
7 GEMALTO - GEMALTO
8 LaBRI - Laboratoire Bordelais de Recherche en Informatique
9 Institut Curie [Paris]
Frédéric Dadeau
- Fonction : Auteur
- PersonId : 6404
- IdHAL : frederic-dadeau
- IdRef : 116816414
Yves Ledru
- Fonction : Auteur
- PersonId : 178520
- IdHAL : yves-ledru
- ORCID : 0000-0002-0632-030X
- IdRef : 058586571
Lydie Du Bousquet
- Fonction : Auteur
- PersonId : 7330
- IdHAL : lydie-du-bousquet
- IdRef : 138542252
Safouan Taha
- Fonction : Auteur
- PersonId : 7120
- IdHAL : safouan-taha
- ORCID : 0000-0003-3950-6415
- IdRef : 125040474
Résumé
no abstract