Certifications of critical systems - the CECRIS experience - Bondavalli, Andrea; Brancati, Francesco (Gistrup, Denmark ; Delft, the Netherlands : River Publishers, 2017)
Includes bibliographical references at the end of each chapters and index.
Description based on online resource; title from PDF title page (ebrary, viewed October 18, 2017).
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Keywords: Electronic digital computers; Electronic digital computers -- Reliability; Electronic books