Formal Verification of Critical Aerospace Software
The work
| Title | Formal Verification of Critical Aerospace Software |
|---|---|
| Authors | Virginie Wiels; Robert Delmas; David Doose; Pierre-Loïc Garoche; J. Cazin; Guy Durrieu |
| Type | article |
| Year | 2012 |
| Citekey | wiels2012formal |
Where it appeared
| Published in | Aerospace Lab |
|---|---|
| Issue | 4 |
| Pages | 1--8 |
Access
| Link it arrived with | https://hal.science/hal-01184099 |
|---|
Copy held
| Kind | PDF, 1.5 MB |
|---|---|
| Retrieved | 2026-08-11 |
| Held | local, for personal reference |
| Opens at | page 2 |
| Where it came from | https://hal.science/hal-01184099/file/ISP12019.1347888952.pdf |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-11 |
| Record | reviewed by a person |
| Approved | 2026-08-11 |
Cite it as
@article{wiels2012formal,
title = {Formal Verification of Critical Aerospace Software},
author = {Virginie Wiels and Robert Delmas and David Doose and Pierre-Loïc Garoche and J. Cazin and Guy Durrieu},
year = {2012},
journal = {Aerospace Lab},
number = {4},
pages = {1--8},
url = {https://hal.science/hal-01184099},
}
This record lives at https://refs.drheap.org/wiels2012formal/ and will keep doing so.