S-ADA: Software as an Autonomous, Dependable and Affordable System.

Kai-Yuan Cai, Kishor S. Trivedi, Beibei Yin

Browse the full DSN paper archive.