Andreas Gerstlauer

No bio available. Add one in Open Library.

Books by Andreas Gerstlauer (50 max)

+ shelf+ list

SpecC: Specification Language and Methodology

2000

Daniel D. Gajski, Jianwen Zhu, Rainer Dömer, Andreas Gerstlauer, Shuqing Zhao

+ shelf+ list

System Design - A Practical Guide with SpecC

2001

Andreas Gerstlauer, Rainer Dömer, Junyu Peng, Daniel D. Gajski

+ shelf+ list

System Design A Practical Guide with SpecC

2001

Andreas Gerstlauer

+ shelf+ list

Embedded System Design : Topics, Techniques and Trends : IFIP TC10 Working Conference: International Embedded Systems Symposium , May 30 - June 1, 2007, Irvine , USA

2010

Achim Rettberg, Mauro Zanella, Rainer Domer, Andreas Gerstlauer, Franz Rammig

+ shelf+ list

Embedded System Design Modeling, Synthesis and Verification

2014

Daniel D. D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner

+ shelf+ list

Memocode '15: 13th ACM/IEEE International Conference on Formal Methods and Models for Codesign

2015

Andreas Gerstlauer