Login / Signup
Safety across the HW/SW interface - Can formal methods meet the challenge?
Christian Bartsch
Carlos Villarraga
Dominik Stoffel
Wolfgang Kunz
Published in:
ISIC (2016)
Keyphrases
</>
formal methods
hw sw
safety critical
embedded systems
hardware software
design methodology
knowledge based systems
software engineering
formal specification
user interface
model checking
artificial intelligence
development lifecycle
database
data processing
neural network
databases