Experiences using statecharts for a system requirements specification
N. Leveson, M. Heimdahl, H. Hildreth, J. Reese, and R. Ortega. IWSSD '91: Proceedings of the 6th international workshop on Software specification and design, page 31--41. Los Alamitos, CA, USA, IEEE Computer Society Press, (1991)
%0 Conference Paper
%1 leveson91a
%A Leveson, N. G.
%A Heimdahl, M.
%A Hildreth, H.
%A Reese, J.
%A Ortega, R.
%B IWSSD '91: Proceedings of the 6th international workshop on Software specification and design
%C Los Alamitos, CA, USA
%D 1991
%I IEEE Computer Society Press
%K safety requirements software
%P 31--41
%T Experiences using statecharts for a system requirements specification
%U http://portal.acm.org/citation.cfm?id=952792
@inproceedings{leveson91a,
added-at = {2006-03-24T16:34:33.000+0100},
address = {Los Alamitos, CA, USA},
author = {Leveson, N. G. and Heimdahl, M. and Hildreth, H. and Reese, J. and Ortega, R.},
biburl = {https://www.bibsonomy.org/bibtex/2f7195351b077557e843f48ba6b2cfab8/neilernst},
booktitle = {IWSSD '91: Proceedings of the 6th international workshop on Software specification and design},
citeulike-article-id = {171468},
description = {sdasda},
interhash = {b8c3b613626cd57208d3ba4a7d2b6148},
intrahash = {f7195351b077557e843f48ba6b2cfab8},
keywords = {safety requirements software},
pages = {31--41},
priority = {2},
publisher = {IEEE Computer Society Press},
timestamp = {2006-03-24T16:34:33.000+0100},
title = {Experiences using statecharts for a system requirements specification},
url = {http://portal.acm.org/citation.cfm?id=952792},
year = 1991
}