Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam, Mehrdad Saadatmand. Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems. J. Internet Services and Applications, 12(1):2, 2021. [doi]
@article{SirjaniPAMS21,
title = {Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems},
author = {Marjan Sirjani and Luciana Provenzano and Sara Abbaspour Asadollah and Mahshid Helali Moghadam and Mehrdad Saadatmand},
year = {2021},
doi = {10.1186/s13174-021-00132-z},
url = {https://doi.org/10.1186/s13174-021-00132-z},
researchr = {https://researchr.org/publication/SirjaniPAMS21},
cites = {0},
citedby = {0},
journal = {J. Internet Services and Applications},
volume = {12},
number = {1},
pages = {2},
}