ACM Transactions on Computer Systems (TOCS)
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Partial order models for quantitative extensions of LOTOS
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
IEEE Transactions on Parallel and Distributed Systems
A generic fault-tolerant architecture for real-time dependable systems
A generic fault-tolerant architecture for real-time dependable systems
Refining Model Checking by Abstract Interpretation
Automated Software Engineering
Fault Injection Techniques and Tools
Computer
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems
IEEE Transactions on Computers
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Modeling the dependability of CAUTRA, a subset of the French air traffic control system
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Automated Dependability Analysis of UML Designs
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
A Tool for Reliability and Availability Prediction
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
| Hi-index | 0.00 |
Embedded complex systems require an integrated and best-balanced set of components. To use these components requires some sort of verifiable compositionality, a concept that implies the preservation of properties and the ability to verify them.