All Stories

  1. Modeling and Verifying Time-aware Processes for Cyber-Physical Environments

    Article • IET Software, September 2018, the Institution of Engineering and Technology (the IET)

    Slim Kallel, Imen Graja