Search results for: Martijn Hendriks
Journal of Signal Processing Systems > 2019 > 91 > 1 > 75-91
Journal of Signal Processing Systems > 2019 > 91 > 1 > 21-32
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 4 > 487-510
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Model Checking > 98-111
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 90-105
Social Science Research > 2016 > 56 > C > 90-107
Social Indicators Research > 2016 > 125 > 2 > 481-508
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 6 > 633-647
Electronic Notes in Theoretical Computer Science > 2002 > 65 > 6 > 1-20