01583nam 2200409 450 991014000260332120230807203908.01-4799-8111-7(CKB)2560000000337743(WaSeSS)IndRDA00120066(EXLCZ)99256000000033774320200311d2015 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2015 IEEE 16th International Symposium on High Assurance Systems Engineering 8-10 January 2015, Daytona Beach Shores, FL, USA /sponsored by International Symposium on High-Assurance Systems Engineering, Institute of Electrical and Electronics EngineersPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2015.1 online resource (133 pages)1-4799-8112-5 1-4799-8110-9 Systems engineeringCongressesSoftware engineeringCongressesComputer input-output equipmentCongressesSystems engineeringSoftware engineeringComputer input-output equipment620.7International Symposium on High-Assurance Systems Engineering,Institute of Electrical and Electronics Engineers,WaSeSSWaSeSSPROCEEDING99101400026033212015 IEEE 16th International Symposium on High Assurance Systems Engineering2496379UNINA