01862nam 2200397 450 99628047540331620230421083708.01-5090-4636-4(CKB)3710000001402971(NjHacI)993710000001402971(EXLCZ)99371000000140297120230421d2017 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) /Institute of Electrical and Electronics Engineers (IEEE)Piscataway, New Jersey :Institute of Electrical and Electronics Engineers (IEEE),2017.1 online resource illustrations1-5090-4637-2 A key question of HASE 2017 is What design innovation is needed to bring about systems whose operation in accordance with functional and non functional requirements is assured with a very high probability? HASE 2017 will focus on this and related questions answers to which are of paramount importance to engineers who design and build interdependent complex systems that impact individuals, entire cities and even nations.2017 IEEE 18th International Symposium on High Assurance Systems Engineering Computer input-output equipmentCongressesReliability (Engineering)CongressesSoftware engineeringCongressesComputer input-output equipmentReliability (Engineering)Software engineering621.3984NjHacINjHaclPROCEEDING9962804754033162017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)2545971UNISA