Efficient Map Overlay for Safety-Critical Embedded Systems.

Jens Brandt Klaus Schneider

Published in: IES (2006)

Keyphrases

embedded systems
safety critical
low cost
computing power
safety analysis
embedded devices
embedded software
fault tolerant
formal methods
software systems
agent architecture
regulatory requirements
databases
support systems