Search results for: Jeroen Voeten
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 260-275
Lecture Notes in Computer Science > Embedded Computer Systems: Architectures, Modeling, and Simulation > Processor Design > 206-215
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1: Probabilistic Models > 43-59
Advances in Design and Specification Languages for SoCs > UML-Based System Specification and Design > 123-139
Real-Time Systems > 2007 > 36 > 3 > 159-198