Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli. RACME: A Framework to Support V&V and Certification. In 5th Latin-American Symposium on Dependable Computing, LADC 2011, São José dos Campos, Brazil, 25-29 April 2011. pages 116-125, IEEE Computer Society, 2011. [doi]
Abstract is missing.