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:
FM (2019)
Keyphrases
</>
computer controlled
dynamic logic
asynchronous circuits
computer systems
parallel processing