Jean-Marie Jacquet -

Not registered as user

Name:Jean-Marie Jacquet

Affiliation:University of Namur

Contributions

2026

FM

Author of Learning Formal Methods through Project-Based Modeling of Concurrent Systems with Anemone within the Workshop: FMTea-track

FormaliSE

Author of Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone within the Research Track-track