Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=BONDAVALLI, Andrea
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
-
cover
Cyber-Physical Systems of Systems: Foundations – A Conceptual Model and Som…
Comment Share
BONDAVALLI, AndreaBAUCHENAK, SaraKOPETZ, Hermann

Computer Systems Organization and Communication Networks; Software Engineering; Complex Systems; Information Systems Applications (incl. Internet); Computer Applications

Edition
-
ISBN/ISSN
9783662503966
Collation
-
Series Title
-
Call Number
650