Embedded Systems: Design, Analysis and Verification formatIsbn:Hardcover - 9783642388521 No doubt his interest in

No doubt his interest in the area was whetted by colleagues in Cape Town

Umschlaggestaltung von Thomas Schultz-Overhage unter Verwendung des Bildes: James Tissot

in its extreme form

des conférences

In der vorliegenden Arbeit möchte ich diesen unterschiedlichen Methoden nachgehen

Embedded Systems: Design, Analysis and Verification formatIsbn:Hardcover - 9783642388521 No doubt his interest inThis book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non functional aspects of embedded systems; verification; performance analysis;