Conference Papers
Year : 2019
Jean-Pierre Talpin : Connect in order to contact the contributor
https://inria.hal.science/hal-02193642
Submitted on : Wednesday, July 24, 2019-3:50:27 PM
Last modification on : Friday, March 24, 2023-2:53:11 PM
Cite
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
41
View
0
Download