An introduction to formal methods for the development of safety-critical applications
The work
| Title | An introduction to formal methods for the development of safety-critical applications |
|---|---|
| Authors | Anne Elisabeth Haxthausen |
| Type | technical report |
| Year | 2010 |
| Citekey | haxthausen2010introduction |
Where it appeared
| Publisher | Technical University of Denmark |
|---|
Copy held
| Kind | PDF, 278.7 kB |
|---|---|
| Retrieved | 2026-08-05 |
| Held | local, for personal reference |
| Opens at | page 2 |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@techreport{haxthausen2010introduction,
title = {An introduction to formal methods for the development of safety-critical applications},
author = {Anne Elisabeth Haxthausen},
year = {2010},
publisher = {Technical University of Denmark},
}
This record lives at https://refs.drheap.org/haxthausen2010introduction/ and will keep doing so.