%0 Conference Paper %1 conf/iwssd/LevesonHHRO91 %A Leveson, Nancy G. %A Heimdahl, Mats P. E. %A Hildreth, Holly %A Reese, Jon Damon %A Ortega, R. %B IWSSD %D 1991 %E Finance, Jean-Pierre %E Ghezzi, Carlo %E Roman, Gruia-Catalin %I IEEE Computer Society %K dblp %P 31-41 %T Experiences using statecharts for a system requirements specification. %U http://dblp.uni-trier.de/db/conf/iwssd/iwssd1991.html#LevesonHHRO91 %@ 978-0-8186-2320-2

@inproceedings{conf/iwssd/LevesonHHRO91, added-at = {2022-05-13T00:00:00.000+0200}, author = {Leveson, Nancy G. and Heimdahl, Mats P. E. and Hildreth, Holly and Reese, Jon Damon and Ortega, R.}, biburl = {https://www.bibsonomy.org/bibtex/209290e43e36c85ce13b553f7d2aece27/dblp}, booktitle = {IWSSD}, crossref = {conf/iwssd/1991}, editor = {Finance, Jean-Pierre and Ghezzi, Carlo and Roman, Gruia-Catalin}, ee = {https://dl.acm.org/doi/10.5555/952786.952792}, interhash = {b8c3b613626cd57208d3ba4a7d2b6148}, intrahash = {09290e43e36c85ce13b553f7d2aece27}, isbn = {978-0-8186-2320-2}, keywords = {dblp}, pages = {31-41}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T01:33:01.000+0200}, title = {Experiences using statecharts for a system requirements specification.}, url = {http://dblp.uni-trier.de/db/conf/iwssd/iwssd1991.html#LevesonHHRO91}, year = 1991 }