Kuen-Long Lu, Yung-Yuan Chen. Model-based design, analysis and assessment framework for safety-critical systems. In 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021 - Supplemental Volume. pages 25-26, IEEE, 2021. [doi]
Abstract is missing.