Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project

Gerald Sonneck, Erwin Schoitsch. Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. In Massimo Felici, Karama Kanoun, Alberto Pasquini, editors, Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP 99, Toulouse, France, September, 1999, Proceedings. Volume 1698 of Lecture Notes in Computer Science, pages 39-45, Springer, 1999. [doi]

@inproceedings{SonneckS99,
  title = {Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project},
  author = {Gerald Sonneck and Erwin Schoitsch},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1698/16980039.htm},
  tags = {architecture, certification},
  researchr = {https://researchr.org/publication/SonneckS99},
  cites = {0},
  citedby = {0},
  pages = {39-45},
  booktitle = {Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP 99, Toulouse, France, September, 1999, Proceedings},
  editor = {Massimo Felici and Karama Kanoun and Alberto Pasquini},
  volume = {1698},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66488-2},
}