The following pages link to Gabor Karsai (Q1953739):
Displayed 11 items.
- Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study (Q1953740) (← links)
- (Q2709229) (← links)
- (Q2847845) (← links)
- Lessons Learned from Building a Graph Transformation System (Q3059715) (← links)
- Graph model-based approach to the representation, interpretation, and execution of signal processing systems (Q3495117) (← links)
- (Q4216981) (← links)
- (Q4419131) (← links)
- (Q4440318) (← links)
- (Q4473741) (← links)
- (Q4738420) (← links)
- Towards Verifying Model Transformations (Q5404179) (← links)