Licensing Reliable Embedded Software for Safety-Critical Applications.

Francesca Saglietti

Published in: Real Time Syst. (2004)

Keyphrases

embedded software
safety critical
embedded systems
low cost
software architecture
formal methods
software systems
fault tolerant
development projects
management system
support systems