Login / Signup
Towards more Dependable Verification of Mixed-Signal Systems.
Florian Schupfer
Christoph Grimm
Published in:
Verification over discrete-continuous boundaries (2010)
Keyphrases
</>
distributed systems
computer systems
computing systems
finite state machines
formal methods