C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems.
Nermin Kajtazovic
Christopher Preschern
Andrea Höller
Christian Kreiner
Published in:
SAFECOMP Workshops (2014)
Keyphrases
</>
embedded systems
safety critical
low cost
embedded devices
safety analysis
computing power
embedded software
software systems
formal methods
fault tolerant
agent architecture
protocol stack