Login / Signup
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design.
Giovanni Dipoppa
Giovanni D'Alessandro
Roberto Semprini
Enrico Tronci
Published in:
HASE (2001)
Keyphrases
</>
design goals
detailed design
case study
design process
engineering design
design principles
architectural design
design space
software design
database
computer aided
knowledge based systems
multiscale
learning algorithm
design methodology
safety critical
artificial intelligence