Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Quantifying the Reliability of Embedded Systems by Automated Analysis
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Towards Automated Proof of Fail-Safe Behaviour
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Integration of component fault trees into the UML
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Automatic fault tree derivation from Little-JIL process definitions
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Hi-index | 0.00 |