Software-based Safety-critical Systems: a Taxonomy.

Hlne Papini, Frangois Simon

Browse the full SAFECOMP paper archive.