1
Ben Hedia, Belgacem
2020
Table of Contents:
“... Algorithms -- Accurate Strategy for Mixed Criticality Scheduling -- Formal Modeling and Verification, Testing -- Model-based Design of Resilient Systems Using Quantitative Risk Assessment -- An Evaluation of Estimation Techniques for Probabilistic Verification...”2020
Full text