Link |
Unknown macro: {div} https://www.open-do.org/wp-content/uploads/2010/06/couverture_ertss2010.pdf |
Title |
Object and Source Coverage for Critical Applications with the COUVERTURE Open Analysis Framework |
SWE or Topic |
SWE-219, Topic 7.21, |
Citation |
Matteo Bordin, Cyrille Comar, Tristan Gingold, J´erˆome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, F-75009 PARIS (France)
Unknown macro: {bordin, comar, gingold, guitton, hainque, quinot}
@adacore.com, Embedded Real Time Software and Systems Conference, May 2010 |
Notes |
|
Example Reference as it will appear to end user:
- Title, Citation
where:
- Title = Title
- Link = http://www.nasa.gov
- Citation = Citation