Login / Signup
On Teaching Applied Formal Methods in Aerospace Engineering.
Kristin Yvonne Rozier
Published in:
FMTea (2019)
Keyphrases
</>
formal methods
artificial intelligence
software engineering
safety critical
knowledge based systems
formal analysis
development lifecycle
learning environment
e learning
learning process
information systems
access control
higher education
model checking
formal specification
multi agent
model checker