Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hesham Saadawi
Verification Methodology for DEVS Models
Related publications
Algorithms for Parallel Simulation of Large-Scale DEVS and Cell-Devs Models
A Facility for Remote Execution and Visualization of DEVS and Cell-Devs Models
Distributed Optimistic Simulation of DEVS and CELL-DEVS Models With PCD++
From State-Transition Models to DEVS Models - Improving DEVS External Interoperability Using MetaDEVS - A MDE Approach
Creating Defence Models Using V-Devs Framework
Scientific Journal of Riga Technical University. Computer Sciences
E-Cd++: An Engine for Executing DEVS Models in Embedded Environments
Vacuum Gauge Verification Methodology for Vacuum Coating Deposition Processes
Annals of DAAAM and Proceedings of the International DAAAM Symposium
Control
Systems Engineering
Industrial
Mechanical Engineering
Electronic Engineering
Manufacturing Engineering
Computer Science Applications
Electrical
A Verification-Aware Design Methodology for Thread Pipelining Parallelization
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Constructing Property-Oriented Models for Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
