Tom Tervoort

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Messages Exchanged

Ad Hoc Networks

Top Venues

Haifa Verification Conference

Publications

Tom Tervoort, Marcela T. de Oliveira, Wolter Pieters, Pieter H. A. J. M. van Gelder, Sílvia Delgado Olabarriaga, Henk A. Marquering
Solutions for Mitigating Cybersecurity Risks Caused by Legacy Software in Medical Devices: A Scoping Review. IEEE Access 8 (2020)
Tom Tervoort, I. S. W. B. Prasetya
Modeling and Testing Implementations of Protocols with Complex Messages. CoRR (2018)
Tom Tervoort, I. S. W. B. Prasetya
APSL: A Light Weight Testing Tool for Protocols with Complex Messages. Haifa Verification Conference (2017)