|
|
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 | Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong |
A Model-based Approach to Certification of Adaptive MILS. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta |
Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Tverdyshev (eds.) |
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018. |
MILS@DSN |
2018 |
DBLP BibTeX RDF |
|
1 | Henk Birkholz, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Tolga Arul, Markus Heinrich, Stefan Katzenbeisser 0001, Neeraj Suri, Tsvetoslava Vateva-Gurova, Christian Schlehuber |
A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Holger Blasum, Sergey Tverdyshev |
Classic and Adaptive AUTOSAR in MILS terms. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Hametner, Stefan Resch |
A Platform Approach for Fusing Safety and Security on a Solid Foundation. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Markus Engqvist, Staffan Persson |
Cybersecurity in the Railway Sector. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Schulz, Frank Golatowski, Dirk Timmermann |
In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chera Bekker, Maurits de Graaf, Gerard Hoekstra, Thomas B. Quillinan |
Enabling Civil/Military Cooperation in Crisis Management. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|