Mezghiche Mohamed

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Decision Making

Formal Specification

Reactive Systems

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Sarah Chabane, Rabéa Ameur-Boulifa, Mezghiche Mohamed
Towards compositional verification of synchronous reactive systems. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)