A Controlled Experiment in Testing of Safety-Critical Embedded Software.

Eduard Paul Enoiu Adnan Causevic Daniel Sundmark Paul Pettersson

Published in: ICST (2016)

Keyphrases

embedded software
safety critical
embedded systems
low cost
development projects
formal methods
software systems
software architecture
real time
machine learning
case study
cooperative
support systems