![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
DECS@SAFECOMP 2013: Toulouse, France
- Erwin Schoitsch, Amund Skavhaug:
SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. HAL 2013 - Max Steiner, Peter Liggesmeyer:
Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System. - Adam Leon Kleppe, Amund Skavhaug:
Obstacle detection and mapping in low-cost, low-power multi-robot systems using an Inverted Particle Filter. - Felix Bruckmüller, Erwin Krister, Wilfried Kubinger:
FlexRay demonstrator for certification. - Michael Roth, Peter Liggesmeyer:
Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees. - Tapio Heikkilä, Lars Dalgaard, Jukka Koskinen:
Designing Autonomous Robot Systems - Evaluation of the R3-COP Decision Support System Approach. - Michal Kucis, Pavel Zemcík, Oliver Zendel, Wolfgang Herzner:
Overview of Simulation of Video-Camera Effects for Robotic Systems in R3-COP. - Sara Bessling:
Towards Failure Models and Error Propagation in Product Lines. - Kjell Arne Ødegaard, Amund Skavhaug:
Simple Methods for Error Detection and Correction for Low-Cost Nano Satellites. - Jonas Westman, Mattias Nyberg:
A Reference Example on the Specification of Safety Requirements using ISO 26262. - Gergo Horányi, Zoltán Micskei, István Majzik:
Scenario-based Automated Evaluation of Test Traces of Autonomous Systems. - Wolfgang Herzner, Markus Murschitz, Oliver Zendel:
Model-based Test-Case Generation for Testing Robustness of Vision Components of Robotic Systems. - Wolfgang Herzner, Erwin Schoitsch:
R3-COP Resilient Reasoning Robotic Co-operating Systems. - Raimar Lill, Francesca Saglietti:
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets. - Chafik Arar, Hamoudi Kalla, Salim Kalla, Hocine Riadh:
A Reliable Fault-Tolerant Scheduling Algorithm for Real Time Embedded Systems.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.