Martin Radetzki (ed.)
Gebundenes Buch

Languages for Embedded Systems and Their Applications

Selected Contributions on Specification, Design, and Verification from FDL'08

Herausgegeben: Radetzki, Martin
Versandkostenfrei!
Versandfertig in 6-10 Tagen
112,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
56 °P sammeln!
Embedded systems take over complex control and data processing tasks in diverse application ?elds such as automotive, avionics, consumer products, and telec- munications. They are the primary driver for improving overall system safety, ef?ciency, and comfort. The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on speci?cation, design, and veri?cation languages. The objective of the book at hand is to provide researchers and designers w...