%0 Journal Article %1 journals/isse/VilkomirBG06 %A Vilkomir, Sergiy A. %A Bowen, Jonathan P. %A Ghose, Aditya K. %D 2006 %J ISSE %K assessment formal formalization methods myown regulation requirements safety-critical software standards %N 3-4 %P 165-178 %T Formalization and assessment of regulatory requirements for safety-critical software. %U http://dblp.uni-trier.de/db/journals/isse/isse2.html#VilkomirBG06 %V 2

@article{journals/isse/VilkomirBG06, added-at = {2011-08-01T21:56:49.000+0200}, author = {Vilkomir, Sergiy A. and Bowen, Jonathan P. and Ghose, Aditya K.}, biburl = {https://www.bibsonomy.org/bibtex/2542c664a6588bc019b292a7ab1123c1a/jpbowen}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s11334-006-0006-8}, interhash = {7e12e72f490066ceaec32e979347f816}, intrahash = {542c664a6588bc019b292a7ab1123c1a}, journal = {ISSE}, keywords = {assessment formal formalization methods myown regulation requirements safety-critical software standards}, number = {3-4}, pages = {165-178}, timestamp = {2011-08-01T21:56:49.000+0200}, title = {Formalization and assessment of regulatory requirements for safety-critical software.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse2.html#VilkomirBG06}, volume = 2, year = 2006 }