Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Brancati, Francesco
cover
Certifications of Critical Systems – The CECRIS Experience
Comment Share
BONDAVALLI, AndreaBrancati, Francesco

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the mai…

Edition
-
ISBN/ISSN
9781000795462
Collation
-
Series Title
-
Call Number
-