Conference paper published in "Proceedings - 16th European Dependable Computing Conference, EDCC 2020"!
1 January 2020
The conference paper “Generation of Safety and Liveness Complaint Automata from Goal Model Specifications”, by Deb, N., Roy, M., Chaki, N., Cortesi, A., has just been published in “Proceedings - 16th European Dependable Computing Conference, EDCC 2020”! Available here.