Author:
Perko Klemen,Kocik Rémy,Hamouche Rédha,Trost Andrej
Reference8 articles.
1. Design of embedded systems: Formal models, validation, and synthesis;Edwards;Proceedings of the IEEE,1997
2. Hamouche, R. and Kocik, R. (2006). Metamodel-based methodology for real-time embedded control system design. In Forum on specification and Design Languages FDL'6. Darmstadt, Germany.
3. Hamouche, R. and Kocik, R. (2007). Aspect-based methodology for real-time embedded control systems design. In 7th IFAC International Conference On Field-buses & Networks in Industrial & Embedded Systems. Toulouse, France.
4. KM3: A DSL for metamodel specification;Jouault,2006