Login / Signup
On Conditions for Modular Verification in Systems of Synchronising Components.
Peter Drábik
Andrea Maggiolo-Schettini
Paolo Milazzo
Published in:
Fundam. Informaticae (2012)
Keyphrases
</>
building blocks
software components
asynchronous circuits
expert systems
complex systems
signature verification
neural network
data structure
software engineering
source code
distributed systems
computer systems
model checking
computing systems
automated verification