Knowledge Tree

researcher / Hassan Loulou

Hassan Loulou

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Verifying Design Properties at Runtime Using an MDE-Based Approach Models @Run.Time Verification-Application to Autonomous Connected Vehicles