Certifications of critical systems - the CECRIS experience / 
Andrea Bondavalli, Francesco Brancati, editors. 
 - 1 online resource (316 pages) :  illustrations, tables. 
 - River Publishers Series in Information Science and Technology .
 - River Publishers series in information science and technology. .
<br/><br/>Includes bibliographical references at the end of each chapters and index. 
<br/><br/><label>ISBN: </label>9788793519558 (e-book) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers.<br/>Electronic digital computers--Reliability.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.5  / .C478 2017 
<br/><br/><label>Dewey Class. No.: </label>621.381958