Search results for: Ivan Martinovic
IEEE Transactions on Information Forensics and Security > 2018 > 13 > 1 > 63 - 78
IEEE Transactions on Wireless Communications > 2016 > 15 > 9 > 6189 - 6202
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 169-183
Handbuch Industrialisierung der Finanzwirtschaft > Management der technischen Architektur und Infrastruktur > 641-654
IEEE Transactions on Intelligent Transportation Systems > 2017 > 18 > 6 > 1338 - 1357
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) > 4A1-1 - 4A1-14