Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Manel Barkallah
conf.researchr.org general profile
FM 2026 profile
ICSE 2026 profile
Registered user since Wed 28 Jan 2026
Name:
Manel Barkallah
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
Share
x
Fri 7 Aug 21:44