VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

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]

No reviews for this publication, yet.