Login / Signup
Ali Alwadi
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Cyber Physical Systems
Formal Verification
Inventory Management
Model Checker
Top Venues
ICDCS Workshops
Scalable Comput. Pract. Exp.
</>
Publications
</>
Ali Alwadi
,
Amjad Gawanmeh
,
Sazia Parvin
,
Jamal N. Al-Karaki
Smart Solutions for RFID based Inventory Management Systems: A Survey.
Scalable Comput. Pract. Exp.
18 (4) (2017)
Amjad Gawanmeh
,
Ali Alwadi
,
Sazia Parvin
Formal Verification of Control Strategies for a Cyber Physical System.
ICDCS Workshops
(2017)