|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa 0003 |
The PreCertification Kit for Operating Systems in Safety Domains. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Pietrantuono, Nuno Silva (eds.) |
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011 |
WOSOCER |
2011 |
DBLP BibTeX RDF |
|
1 | William E. Howden |
Error Models and Software Certification. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Erik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie |
Towards Goal-Based Software Safety Certification Based on Prescriptive Standards. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov |
Generation of Certifiably Correct Programs from Formal Models. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Huáscar Espinoza, Alejandra Ruiz 0001, Mehrdad Sabetzadeh, Paolo Panaroni |
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi |
Design Improvement of System Administrative Operations for Certification. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Silva, Rui Lopes |
Independent Test Verification: What Metrics Have a Word to Say. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand |
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Esposito 0001, Domenico Cotroneo, Nuno Silva |
Investigation on Safety-Related Standards for Critical Systems. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|