Filtrer vos résultats
- 7
- 6
- 1
- 5
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 5
- 2
- 5
- 3
- 2
- 2
- 2
- 1
- 7
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
triés par
|
|
Fan-C, a Frama-C plug-in for data flow verificationEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02263407v1
|
||
|
Une ‟communauté de pratiqueˮ pour accompagner l’innovation socio-spatiale en CreuseCahiers RAMAU, 2022, Savoirs et expertises renouvelés. Au croisement des mondes académiques et opérationnels, 11, pp.96-111
Article dans une revue
hal-03725443v1
|
||
|
Formal Software Verification at Model and at Source Code Levels2nd International Conference on Model & Data Engineering (MEDI'2012), Oct 2012, France. pp.162-169, ⟨10.1007/978-3-642-33609-6_16⟩
Communication dans un congrès
hal-00797091v1
|
||
|
Taster, a Frama-C plug-in to enforce Coding StandardsERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Communication dans un congrès
hal-02267697v1
|
||
|
La fabrique de JardinLe paysage ; retour d'expériences entre recherche et projet, sous la direction de George Bertrand et Serge Briffaud, Oct 2008, Arthous, France
Communication dans un congrès
hal-01560089v1
|
||
|
USE OF MODELLING METHODS AND TOOLS IN AN INDUSTRIAL EMBEDDED SYSTEM PROJECT: WORKS AND FEEDBACKEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02263442v1
|
||
|
Spreading Static Analysis with Frama-C in Industrial Contexts8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès
hal-01260276v1
|