Research output per year
Research output per year
Search results
-
2017
APSL: A light weight testing tool for protocols with complex messages
Tervoort, T. & Prasetya, I. S. W. B., 2017, Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings. Tzoref-Brill, R. & Strichman, O. (eds.). Springer Verlag, p. 241-244 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10629 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
2 Citations (Scopus)