Embedded systems development: from functional models to implementations / Alberto
Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, [et al.], .... - New York ;
Heidelberg ; Dordrecht : Springer, cop. 2014. - 1 vol. (VIII-223 p.) : ill. en noir
et en coul., couv. ill. en coul. ; 24 cm. - (Embedded systems ; volume 20). - "This
book is an edited collection of contributions in selected topics related to embedded
systems modeling, analysis, and synthesis. Most contributions are extended versions
of papers that were originally presented at several workshops organized in the context
of the Embedded Systems Week and Real-Time Systems Symposium in the last months of
2011 .... These workshops were the WSS, Workshop on Software Synthesis, the TiMoBD,
Time Analysis and Model-Based Design, and the SOMRES, Workshop on Synthesis and Optimization
Methods for Real-Time Embedded Systems"--Preface. - Notes bibliogr. en fin de chapitres.
Index