Filtrer vos résultats
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
|
triés par
|
Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiquesJournée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France
Communication dans un congrès
hal-00517224v1
|
|||
Expérimentation de composants de preuve pour le développement de composants logiciels embarquésGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2008, 85
Article dans une revue
hal-00517279v1
|