From Safety Analysis to Formal Specification

Kirsten Mark Hansen, Anders Peter Ravn, Victoria Stavridou

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	IEEE Transactions on Software Engineering
Vol/bind	24
Udgave nummer	7
Sider (fra-til)	573-584
ISSN	0098-5589
Status	Udgivet - 1998

AUB Link

@article{2f9e95106b1911de9003000ea68e967b,

title = "From Safety Analysis to Formal Specification",

author = "Hansen, {Kirsten Mark} and Ravn, {Anders Peter} and Victoria Stavridou",

year = "1998",

language = "English",

volume = "24",

pages = "573--584",

journal = "IEEE Transactions on Software Engineering",

issn = "0098-5589",

publisher = "IEEE",

number = "7",

}