Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Ahmed Hammad

Ahmed Hammad

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Adaptation of SysML Blocks and Verification of Temporal Properties
Combining SysML and SystemC to Simulate and Verify Complex Systems
Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation