Communication Dans Un Congrès
Année : 2019
Jean-Pierre Talpin : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02193642
Soumis le : mercredi 24 juillet 2019-15:50:27
Dernière modification le : mardi 5 novembre 2024-09:52:02
Citer
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin. Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. FM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal. pp.1-22. ⟨hal-02193642⟩
Collections
50
Consultations
0
Téléchargements