
International Journal of Reasoning-based Intelligent Systems
2015 Vol.7 No.1/2
Special Issue on Applied Formal Methods in Computer, Control, and Communications Systems
Guest Editors: Professor Pece J. Mitrevski and Professor Cvetko D. Mitrovski
![]() |
Special Issue on Applied Formal Methods in Computer, Control, and Communications Systems
Guest Editors: Professor Pece J. Mitrevski and Professor Cvetko D. Mitrovski
![]() |