Related Topics

System Analysis and Optimization (AP.1.3.6)

• Model Checking
• Rate Monotonic Analysis
• Software Reliability Modeling and Analysis