Login / Signup
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
Simon Lunel
Stefan Mitsch
Benoît Boyer
Jean-Pierre Talpin
Published in:
CoRR (2019)
Keyphrases
</>
computer controlled
dynamic logic
intelligent vehicles
distributed systems
computer systems
reasoning systems
asynchronous circuits