Developing Model Oriented Formal Specification Based on Stpa Hazard Analysis
Preprint in SSRN Electronic Journal (January 2022)
The most recent citing publications are shown below. View all 42 publications that cite this research output on Dimensions.
Preprint in SSRN Electronic Journal (January 2022)
Book chapter (January 2020)
Article in Journal of Software (August 2018)