Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Languages for Embedded Systems and Their Applications: Selected Contributions on Specification, Design, and Verification from Fdl'08

Languages for Embedded Systems and Their Applications: Selected Contributions on Specification, Design, and Verification from Fdl'08

Radetzki, Martin

Paperback

Series: Lecture Notes in Electrical Engineering, Book 36

General ComputersProgramming

ISBN10: 9048181917
ISBN13: 9789048181919
Publisher: Springer Nature
Published: Oct 28 2010
Pages: 324
Weight: 1.05
Height: 0.71 Width: 6.14 Depth: 9.21
Language: English
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 with an overview of current research trends, results, and application experiences in c- puter languages for embedded systems. The book builds upon the most relevant contributions to the 2008 conference Forum on Design Languages (FDL), the p- mier international conference specializing in this ?eld. These contributions have been selected based on the results of reviews provided by leading experts from - search and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.

1 different editions

Also available

Also in

Programming

View All