Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Early quality monitoring in the development of real-time reactive systems
Journal of Systems and Software
A component-based approach to verification and validation of formal software models
Architecting dependable systems IV
Hi-index | 0.00 |