Participation to FMICS 2023 Program Committee

Serving on the Program Committee of the 28th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023).