Book Details

Advances in Design and Specification Languages for Embedded Systems

Publication year: 2007

ISBN: 978-1-4020-6149-3

Internet Resource: Please Login to download book


Advances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), which took place in September 2006 at Technische Universität Darmstadt, Germany. FDL, an ECSI conference, is the premier European forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages as well as of associated design and modelling methods and tools for integrated circuits, embedded systems, and heterogeneous systems. Modelling and specification concepts push the development of new methodologies for design and verification to system level, they thus provide the means for a model-driven design of complex information processing systems in a variety of application domains.


Subject: Engineering, Action, C programming language, C++, C++ programming language, C, C++, Debugging, metal-oxide-semiconductor transistor, single-electron transistor, static-induction transistor, tools