Certification of embedded systems: Quantitative analysis and irrefutable evidences.

Nuno Silva, Marco Vieira

Browse the full ISSRE paper archive.