Login / Signup
Model-Based Verification of Safety Contracts.
Elena Gómez-Martínez
Ricardo J. Rodríguez
Leire Etxeberria Elorza
Miren Illarramendi Rezabal
Clara Benac Earle
Published in:
SEFM Workshops (2014)
Keyphrases
</>
safety analysis
supply chain
formal verification
database
computer vision
model checking
face verification
neural network
metadata
decision trees
control system
formal methods
concurrent systems
moral hazard