A software development kit for dependable applications in embedded systems.

Alfredo Benso, Silvia Chiusano, Paolo Prinetto

Browse the full ITC paper archive.