Towards Run-Time Verification of Adaptive Security for IoT in eHealth Publikasjonsdetaljer Arrangement: (NR/Oslo) Arrangør: Norsk Regnesentral Du er her: Hjem Publikasjoner Faglig foredrag Towards Run-Time Verification of Adaptive Security for IoT in eHealth