![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
BibTeX record conf/adaD/BarrM02
@inproceedings{DBLP:conf/adaD/BarrM02, author = {Volkert Barr and Sergio Montenegro}, editor = {J{\"{u}}rgen F. H. Winkler and Peter Dencker and Hubert B. Keller and Michael Tonndorf}, title = {Boss/Ada: An Open Source Ada 95 Safety Kit {(} {A} dependable open source embedded operating system for {GNAT)}}, booktitle = {Ada Deutschland Tagung 2002: Software f{\"{u}}r sicherheitskritische Systeme, 6. bis 8. M{\"{a}}rz 2002, Jena, Friedrich-Schiller-Universit{\"{a}}t}, pages = {53--66}, publisher = {Shaker Verlag}, year = {2002}, timestamp = {Thu, 07 Dec 2017 17:38:33 +0100}, biburl = {https://dblp.org/rec/conf/adaD/BarrM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.