Filtrer vos résultats
- 36
- 1
- 31
- 4
- 2
- 37
- 1
- 6
- 2
- 8
- 6
- 4
- 1
- 4
- 1
- 1
- 3
- 24
- 13
- 35
- 1
- 1
- 1
- 1
- 1
- 37
- 11
- 10
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarquésConférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne
Communication dans un congrès
hal-00517222v1
|
|||
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
|
|||
Modélisation et analyse formelle d'un protocole de communication acoustiqueJournée CPER, Seatech Week'08, 2008, Brest, France
Communication dans un congrès
hal-00517280v1
|
|||
An Experimentation of Real-Time Software Validation Technique With Timed Observers2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
Communication dans un congrès
hal-00517291v1
|
|||
Testing Parametrized Real-Time SystemsWRTRTES'03, 2003, Italy
Communication dans un congrès
hal-00517294v1
|
|||
Software Design Methodology for Embedded SystemsConference of research topics, Nov 2001, Bucarest, Romania
Communication dans un congrès
hal-00517296v1
|
|||
Using Parallel and Distributed Reachability in Model CheckingAmbient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
Chapitre d'ouvrage
hal-02515020v1
|
- 1
- 2