Article Versions Notes

Meng B, Larraz D, Siu K, Moitra A, Interrante J, Smith W, Paul S, Prince D, Herencia-Zapana H, Arif MF, et al. VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Systems. 2021; 9(1):18. https://doi.org/10.3390/systems9010018

Meng, Baoluo, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, and et al. 2021. "VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System" Systems 9, no. 1: 18. https://doi.org/10.3390/systems9010018

Meng, B., Larraz, D., Siu, K., Moitra, A., Interrante, J., Smith, W., Paul, S., Prince, D., Herencia-Zapana, H., Arif, M. F., Yahyazadeh, M., Tekken Valapil, V., Durling, M., Tinelli, C., & Chowdhury, O. (2021). VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Systems, 9(1), 18. https://doi.org/10.3390/systems9010018