TY - BOOK AU - Bondavalli,Andrea AU - Brancati,Francesco TI - Certifications of critical systems - the CECRIS experience T2 - River Publishers Series in Information Science and Technology AV - QA76.5 .C478 2017 U1 - 621.381958 23 PY - 2017/// CY - Gistrup, Denmark, Delft, the Netherlands PB - River Publishers KW - Electronic digital computers KW - Reliability KW - Electronic books N1 - Includes bibliographical references at the end of each chapters and index UR - http://ebookcentral.proquest.com/lib/daystar-ebooks/detail.action?docID=5050189 ER -