Gabor Karsai
EMSOFT 2010: 10th International Conference on Embedded Software
Online Stability Validation using Sector Analysis
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Towards a Time-Triggered Schedule Calculation Tool to Support Model-Based Embedded Software Design
EMSOFT 2003: 3rd International Conference on Embedded Software
Constraint-Based Design-Space Exploration and Model Synthesis
EMSOFT 2001: 1st International Workshop on Embedded Software
Embedded Software: Challenges and Opportunities