


Остановите войну!
for scientists:
BibTeX record conf/hase/JohnsonCHJH98
@inproceedings{DBLP:conf/hase/JohnsonCHJH98, author = {Gary Johnson and John Calvert and Kelly J. Hayhurst and John Janeri and Herbert Hecht}, title = {System Requirements and Analysis Issues for High Assurance Systems}, booktitle = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering {(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings}, pages = {60}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {http://doi.ieeecomputersociety.org/10.1109/HASE.1998.10001}, doi = {10.1109/HASE.1998.10001}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/hase/JohnsonCHJH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.