certification_du_logiciel
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
certification_du_logiciel [2010/10/15 11:00] 130.79.91.22 |
certification_du_logiciel [2019/03/11 15:09] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | - Ordered List ItemNous avons besoin de coq et coqide en J3 et sur turing. Attention vérifier que les raccourcis de navigation par défaut ne sont pas en conflit avec X ou avec Windows. | + | - Nous avons besoin de coq et coqide en J3 et sur turing. Attention vérifier que les raccourcis de navigation par défaut ne sont pas en conflit avec X ou avec Windows. |
| - Nous avons aussi besoin sur turing de: | - Nous avons aussi besoin sur turing de: | ||
| * frama-c | * frama-c | ||
certification_du_logiciel.1287133216.txt.gz · Last modified: 2019/03/11 15:09 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
