Enabling IoT automation using local clouds
Hybrid control of multi-robot systems using embedded graph grammars
Dimensions of Cooperative Driving, ITS and Automation
Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation
Dependable Automotive Systems based on Model Certified Components
2008-01-0662 Safety Analysis of Automotive Embedded Systems
2008-01-0661 Why Should Auto-Generated C be Treated any Differently from Hand-Coded C?
2008-01-0664 An Introduction to MISRA C++
2008-01-0660 MISRA Activities for Safety-Related Software Development