| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Embedded System Design: Modeling, Synthesis and Verification | 978-1-4419-0503-1 | 2009 | Daniel D. Gajski · Samar Abdi · Gunar Schirner |
| Embedded System Design: Topics, Techniques and Trends: IFIP TC10 Working Conference: International Embedded Systems Symposium , May 30 - June 1, ... in Information and Communication Technology) | 978-0-387-72257-3 | 2007 | Achim Rettberg · Mauro Zanella · Rainer Domer · Franz Rammig |
| SPECC: Specification Language and Methodology | 978-0-7923-7822-8 | 2000 | Daniel D. Gajski · Jianwen Zhu · Rainer Dömer · Shuqing Zhao |
| System Design: A Practical Guide with SpecC | 978-0-7923-7387-2 | 2001 | Rainer Dömer · Junyu Peng · Daniel D. Gajski |
A.G. · Andrea Gerster · Andrea Giorgetti · Andrea Grigat · Andrea Grochut · Andrea Grossschädl · Andreas Gerstacker · Andreas Gerster · Andreas Gerstner · Andrew Gersten · Andrew Gerstle · Andrew Grist · Andri Georgiadou