01414nam 2200385 450 991033254140332120230808204310.01-5090-1141-2(CKB)4100000008867365(WaSeSS)IndRDA00120231(EXLCZ)99410000000886736520200313d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2016 1st IEEE International Verification and Security Workshop 4-6 July 2016, St. Feliu de Guixols, Spain /IEEE Computer Society, Technical Council on Test TechnologyPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2016.1 online resource (13 pages)1-5090-1142-0 Electronic systemsSecurity measuresCongressesComputer softwareVerificationCongressesComputer securityCongressesElectronic systemsSecurity measuresComputer softwareVerificationComputer security005.14IEEE Computer Society.Technical Council on Test Technology,WaSeSSWaSeSSPROCEEDING99103325414033212016 1st IEEE International Verification and Security Workshop2509987UNINA