Filtrer vos résultats
- 14
- 14
- 14
- 14
- 14
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 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
14 résultats
|
|
triés par
|
|
Towards Failure Models and Error Propagation in Product LinesSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848617v1
|
||
|
Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault TreesSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848640v1
|
||
|
A Reliable Fault-Tolerant Scheduling Algorithm for Real Time Embedded SystemsSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848542v1
|
||
|
Scenario-based Automated Evaluation of Test Traces of Autonomous SystemsSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848607v1
|
||
|
A Reference Example on the Specification of Safety Requirements using ISO 26262SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, France. pp.NA
Communication dans un congrès
hal-00848610v1
|
||
|
R3-COP Resilient Reasoning Robotic Co-operating SystemsSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848598v1
|
||
|
Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a SystemSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, France. pp.NA
Communication dans un congrès
hal-00848604v1
|
||
|
FlexRay demonstrator for certificationSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848645v1
|
||
|
Model-based Test-Case Generation for Testing Robustness of Vision Components of Robotic SystemsSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848601v1
|
||
|
Designing Autonomous Robot Systems - Evaluation of the R3-COP Decision Support System ApproachSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848634v1
|
||
|
Model-based Testing of Cooperating Robotic Systems using Coloured Petri NetsSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848597v1
|
||
|
Simple Methods for Error Detection and Correction for Low-Cost Nano SatellitesSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848615v1
|
||
|
Obstacle detection and mapping in low-cost, low-power multi-robot systems using an Inverted Particle FilterSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00849817v1
|
||
|
Overview of Simulation of Video-Camera Effects for Robotic Systems in R3-COPSAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA
Communication dans un congrès
hal-00848628v1
|