All Stories

  1. A framework for the specification and validation of dynamic reconfigurable systems

    Article • ACM SIGAPP Applied Computing Review, June 2021, ACM (Association for Computing Machinery)

    JOSEPH SIFAKIS, Antoine EL HOKAYEM