Media type: E-Article Title: Lecture Notes in Computer Science: DO-333 Certification Case Studies Contributor: Cofer, Darren; Miller, Steven Published: Springer International Publishing, 2014 Published in: Lecture Notes in Computer Science (2014), Seite 1-15 Language: Not determined DOI: 10.1007/978-3-319-06200-6_1 ISBN: 9783319062006; 9783319061993 ISSN: 0302-9743; 1611-3349 Origination: Footnote: