Verifying Cyber-Physical Interactions in Safety-Critical Systems
Mitra, Sayan, Wongpiromsarn, Tichakorn, Murray, Richard M.Volume:
11
Language:
english
Journal:
IEEE Security & Privacy
DOI:
10.1109/msp.2013.77
Date:
July, 2013
File:
PDF, 2.21 MB
english, 2013