Gawanmeh, Amjad
-
Scalable Computing: Practice and Experience Vol. 17 No. 3 (2016) - Special Issue Papers
Formal Verification of a Microfluidic Device for Blood Cell Separation
Abstract PDF -
Scalable Computing: Practice and Experience Vol. 16 No. 3 (2015) - Research Papers
Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems
Abstract PDF -
Scalable Computing: Practice and Experience Vol. 18 No. 4 (2017) - Special Issue Papers
Introduction to the Special Issue on Communication, Computing, and Networking in Cyber-Physical Systems
Abstract PDF