Login / Signup
Applying Property-Based Testing in Teaching Safety-Critical System Programming.
Lars-Åke Fredlund
Ángel Herranz-Nieva
Julio Mariño
Published in:
EUROMICRO-SEAA (2015)
Keyphrases
</>
safety critical
computer programming
programming course
safety analysis
formal methods
fault tolerant
embedded systems
nuclear power plant
programming language
agent architecture
e learning
learning environment
regulatory requirements
learning systems
learning process
support systems
data mining
control system
artificial intelligence
real time