Model-based design, analysis and assessment framework for safety-critical systems

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]

@inproceedings{LuC21-5,
  title = {Model-based design, analysis and assessment framework for safety-critical systems},
  author = {Kuen-Long Lu and Yung-Yuan Chen},
  year = {2021},
  doi = {10.1109/DSN-S52858.2021.00023},
  url = {https://doi.org/10.1109/DSN-S52858.2021.00023},
  researchr = {https://researchr.org/publication/LuC21-5},
  cites = {0},
  citedby = {0},
  pages = {25-26},
  booktitle = {51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021 - Supplemental Volume},
  publisher = {IEEE},
  isbn = {978-1-6654-3566-6},
}