Search results for: Twan Basten
Journal of Signal Processing Systems > 2019 > 91 > 1 > 21-32
Digital Communications and Networks > 2017 > 3 > 3 > 150-163
Journal of Parallel and Distributed Computing > 2017 > 101 > C > 79-91
Journal of Signal Processing Systems > 2017 > 87 > 1 > 157-175
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Full Papers > 32-52
Lecture Notes in Computer Science > Wireless Sensor Networks > Performance and Quality of Service > 53-68
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 4 > 487-510
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 6 > 905 - 918
Lecture Notes in Computer Science > Advanced Concepts for Intelligent Vision Systems > Real-Time Processing and Hardware > 689-696
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 319-334
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 3. Case Studies > 170-187