
International Journal of Critical Computer-Based Systems
2017 Vol.7 No.1
![]() |
Special Issue on: Verification, Control and Performance Analysis: Part II
Guest Editors: Prof. Djamil Aissani and Prof. Francesco Flammini
![]() |
Special Issue on: Verification, Control and Performance Analysis: Part II
Guest Editors: Prof. Djamil Aissani and Prof. Francesco Flammini