-
Modern languages for modeling and verifying asynchronous systems
The work in this thesis is at the intersection of two major research domains~: Model-Driven Engineering (MDE) and formal methods, and has various fields of... -
Eventual Leader Election in Evolving Mobile Networks
International audience
