Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project.

Gerald Sonneck, Erwin Schoitsch

Browse the full SAFECOMP paper archive.