TY - GEN AU - Radetzki,Martin ED - SpringerLink (Online service) TI - Languages for Embedded Systems and their Applications (E-BOOK): Selected Contributions on Specification, Design, and Verification from FDL08 T2 - Lecture Notes in Electrical Engineering, SN - 9781402097140 PY - 2009/// CY - Dordrecht PB - Springer Netherlands KW - Circuits and Systems KW - Computer science KW - Computer simulation KW - Computer system performance KW - Electronics and Microelectronics, Instrumentation KW - Electronics KW - Engineering KW - Programming Languages, Compilers, Interpreters KW - Simulation and Modeling KW - Software engineering KW - Special Purpose and Application-Based Systems KW - System Performance and Evaluation KW - Systems engineering KW - E-Book ER -