
International Journal of Critical Computer-Based Systems
2011 Vol.2 No.3/4
Special Issue on Verification and Evaluation of Computer and Communication Systems – Part I
Guest Editors Kamel Barkaoui, Bruno Monsuez and Denis Poitrenaud
![]() |
Special Issue on Verification and Evaluation of Computer and Communication Systems – Part I
Guest Editors Kamel Barkaoui, Bruno Monsuez and Denis Poitrenaud
![]() |