Nivat's processes and their synchronization
Theoretical Computer Science
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Failure modelling in software architecture design for safety
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
A Timed Extension for ALTARICA
Fundamenta Informaticae
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
Theoretical Computer Science
Modelling Support for Design of Safety-Critical Automotive Embedded Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Deriving Safety Software Requirements from an AltaRica System Model
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
Disentangling the relations between safety and security
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Interacting Extended State Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
A Timed Extension for ALTARICA
Fundamenta Informaticae
An MDE-based synthesis of aircraft safety models
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Which automata for which safety assessment step of satellite FDIR?
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Approximate reliability algebra for architecture optimization
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |