Project-team MOCQUA Designing the Future of Computational Models The goal of the Mocqua team is to tackle challenges coming from the emergence of new or future...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...