Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury. VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Systems, 9(1):18, 2021. [doi]
@article{MengLSMISPPHAYV21,
title = {VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System},
author = {Baoluo Meng and Daniel Larraz and Kit Siu and Abha Moitra and John Interrante and William Smith and Saswata Paul and Daniel Prince and Heber Herencia-Zapana and M. Fareed Arif and Moosa Yahyazadeh and Vidhya Tekken Valapil and Michael Durling and Cesare Tinelli and Omar Chowdhury},
year = {2021},
doi = {10.3390/systems9010018},
url = {https://doi.org/10.3390/systems9010018},
researchr = {https://researchr.org/publication/MengLSMISPPHAYV21},
cites = {0},
citedby = {0},
journal = {Systems},
volume = {9},
number = {1},
pages = {18},
}