|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Eric Verhulst, José Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio |
ARRL: A Criterion for Composable Safety and Systems Engineering. |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
1 | Alejandra Ruiz 0001, Tim Kelly, Huáscar Espinoza |
Towards a multi-view point safety contract. |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
1 | Matt Timperley, Maizura Mokhtar, Joe M. Howe |
Adaptive Safety Arguments and Explanation-Based Learning. |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
1 | As'ad Salkham, Antonio Pecchia, Nuno Silva |
Design of a CDD-Based Fault Injection Framework for AUTOSAR Systems. |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
1 | Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg |
VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
1 | Stefan Resch, Andreas Steininger, Christoph Scherrer |
Software Composability and Mixed Criticality for Triple Modular Redundant Architectures. |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
1 | Richard Hawkins, Ibrahim Habli, Tim Kelly |
Principled Construction of Software Safety Cases. |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
1 | Daniel Kästner, Markus Pister 0002, Gernot Gebhard, Marc Schlickling, Christian Ferdinand |
Confidence in Timing. |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
1 | Alejandra Ruiz 0001, Tim Kelly, José Luis de la Vara (eds.) |
SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013 |
SASSUR@SAFECOMP |
2013 |
DBLP BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|