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 |
|---|
Empty on purpose
| abstract |
Related
| Distinct from | bowen1993formal |
|---|---|
| Distinct from | gleirscher2019opportunities |
| Distinct from | hall2005realising |
| Distinct from | madlener2010formal |
| Distinct from | woodcock2009formal |
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.