An introduction to formal methods for the development of safety-critical applications
The work
| Authors | Anne Elisabeth Haxthausen |
|---|---|
| Editors | |
| Type | techreport |
| Year | 2010 |
| Citekey | haxthausen2010introduction |
Where it appeared
| Publisher | Technical University of Denmark |
|---|
Settled
| Abstract | Established by reading and recorded in a note on this record, but never written into the field, so the queue went on asking. The note says: "No abstract, and none to find." This settle puts that finding where the queue can see it. |
|---|
A copy is held
pdf, 272.2 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-16 17:15 UTC |
Filed under
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.