Conference Papers
Year :
Jean-Pierre Talpin : Connect in order to contact the contributor
https://hal.inria.fr/hal-02193642
Submitted on : Wednesday, July 24, 2019-3:50:27 PM
Last modification on : Friday, November 18, 2022-9:27:33 AM
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
37
View
0
Download