01467nam 2200433 450 991013642590332120180314144130.01-4673-9913-2(CKB)3710000000609602(WaSeSS)IndRDA00094894(EXLCZ)99371000000060960220180314d2016 || |engur|||||||||||txtrdacontentcrdamediacrrdacarrierThe 17th IEEE International Symposium on High Assurance Systems Engineering 7-9 January 2016, Orlando, Florida /edited by Radu Babiceanu, Helene Waeselynck, Raymond A. Paul, Bojan Cukic, Jie XuNew York :IEEE,2016.1 online resource (300 pages)Includes index.1-4673-9914-0 Software engineeringCongressesComputer input-output equipmentCongressesReliability (Engineering)CongressesSoftware engineeringComputer input-output equipmentReliability (Engineering)Babiceanu RaduWaeselynck HelenePaul Raymond A.Cukic BojanXu JieWaSeSSWaSeSSPROCEEDING9910136425903321The 17th IEEE International Symposium on High Assurance Systems Engineering2528397UNINA