Embedded Systems: Design, Analysis and Verification formatIsbn:Hardcover - 9783642388521 des conférences

des conférences

The book offers a valuable resource for researchers in basic biomedical fields and clinical scientists alike

in its extreme form

Als Indikator dieser Sensibilisierung fungiert in zahlreichen Untersuchungen das "Umweltbewußtsein" des Einzelnen

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

Embedded Systems: Design, Analysis and Verification formatIsbn:Hardcover - 9783642388521 des conférencesThis 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;