%0 Book Section %1 series/natosec/Heitmeyer11 %A Heitmeyer, Constance L. %B Software and Systems Safety - Specification and Verification %D 2011 %E Broy, Manfred %E Leuxner, Christian %E Hoare, Tony %I IOS Press %K dblp %P 158-181 %T Requirements Models for Critical Systems. %U http://dblp.uni-trier.de/db/series/natosec/natosec30.html#Heitmeyer11 %V 30 %@ 978-1-60750-710-9

@incollection{series/natosec/Heitmeyer11, added-at = {2012-03-13T00:00:00.000+0100}, author = {Heitmeyer, Constance L.}, biburl = {https://www.bibsonomy.org/bibtex/2d93bf8dd58f98d0dd7604a64a33e306e/dblp}, booktitle = {Software and Systems Safety - Specification and Verification}, crossref = {series/natosec/30}, editor = {Broy, Manfred and Leuxner, Christian and Hoare, Tony}, ee = {http://dx.doi.org/10.3233/978-1-60750-711-6-158}, interhash = {3c0ca3d5ad8908425dda2d36f1397cdf}, intrahash = {d93bf8dd58f98d0dd7604a64a33e306e}, isbn = {978-1-60750-710-9}, keywords = {dblp}, pages = {158-181}, publisher = {IOS Press}, series = {NATO Science for Peace and Security Series - D: Information and Communication Security}, timestamp = {2012-03-14T11:33:23.000+0100}, title = {Requirements Models for Critical Systems.}, url = {http://dblp.uni-trier.de/db/series/natosec/natosec30.html#Heitmeyer11}, volume = 30, year = 2011 }