![](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
1st WoSoCER@ISSRE 2011: Hiroshima, Japan
- Roberto Pietrantuono, Nuno Silva:
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4617-9
Certification Approaches and Challenges
- Huáscar Espinoza, Alejandra Ruiz, Mehrdad Sabetzadeh
, Paolo Panaroni:
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. 1-6 - Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh
, Lionel C. Briand:
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. 7-12 - Erik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie:
Towards Goal-Based Software Safety Certification Based on Prescriptive Standards. 13-18
Certification Support and Practical Experiences
- Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa:
The PreCertification Kit for Operating Systems in Safety Domains. 19-24 - Nuno Silva, Rui Lopes:
Independent Test Verification: What Metrics Have a Word to Say. 25-30 - Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi:
Design Improvement of System Administrative Operations for Certification. 31-36 - William E. Howden:
Error Models and Software Certification. 37-42 - Alexei Iliasov:
Generation of Certifiably Correct Programs from Formal Models. 43-48 - Christian Esposito
, Domenico Cotroneo, Nuno Silva:
Investigation on Safety-Related Standards for Critical Systems. 49-54
![](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.