Filtrer vos résultats
- 10
- 10
- 10
- 10
- 10
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
|
triés par
|
|
|
Case Study Report : Safety rules synthesis for an autonomous robotFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Communication dans un congrès
hal-01370269v1
|
||
|
|
PREEMPTIVE PREventivE Methodology and Tools to protect utilitIEsFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Communication dans un congrès
hal-01370266v1
|
||
|
|
Safety Stories – A New Concept in Agile DevelopmentFast Abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2016), Sep 2016, Trondheim, Norway
Communication dans un congrès
hal-01370261v1
|
||
|
|
Addressing security in safety projects – experiences from the industryFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2016, Trondheim, Norway
Communication dans un congrès
hal-01370256v1
|
||
|
|
IT security risk analysis and threat mitigation for railway applicationsFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2016, Trondheim, Norway
Communication dans un congrès
hal-01370249v1
|
||
|
|
Reaching Safe States in Autonomous Road VehiclesFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2016, Trondheim, Norway
Communication dans un congrès
hal-01370229v1
|
||
|
|
An Approach for Resilient Systems AnalysisFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. 2p
Communication dans un congrès
hal-01370228v1
|
||
|
|
FIDES as decision maker for critical systemsFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2016, Trondheim, Norway
Communication dans un congrès
hal-01370225v1
|
||
|
|
Safety Implications Concerning Usage of Tools in Complex SystemFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Communication dans un congrès
hal-01370199v1
|
||
|
|
Building Confidence on Formal Verification ModelsFast Abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Communication dans un congrès
hal-01369144v1
|