|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 19-24, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![IEEE Computer Society, 978-0-7695-4617-9 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | William E. Howden |
Error Models and Software Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 37-42, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 13-18, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov |
Generation of Certifiably Correct Programs from Formal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 43-48, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 1-6, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 31-36, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Silva, Rui Lopes |
Independent Test Verification: What Metrics Have a Word to Say. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 25-30, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 7-12, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Esposito 0001, Domenico Cotroneo, Nuno Silva |
Investigation on Safety-Related Standards for Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 49-54, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|