All Stories

  1. Model Driven Approach to Design an Automotive CPS with SysReo Language

    Article • October 2022, ACM (Association for Computing Machinery)

    Mr Ahmed Hammad, perla tannoury

  2. Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams

    Article • IET Software, October 2015, the Institution of Engineering and Technology (the IET)

    Mr Ahmed Hammad