Embedded computing systems applications, optimization, and advanced design

Inhaltsangabe: “… .] -- Formal reliability analysis of embedded computing systems / Osman Hasan, Sofi ene Tahar -- Liveness, deadlock-freeness, and siphons / Kamel Barkaoui -- Model-based functional safety analysis and architecture optimisation / David Parker, Martin Walker, Yiannis Papadopoulos -- Expressing and validating OCL constraints using graphs / Najet Zoubeir, Adel Khalfallah, Samir Ben Ahmed -- A UML-compliant approach for intelligent reconfiguration of embedded control systems / Amen Ben Hadj Ali ...  …”
DE-706
DE-1049
DE-898
DE-1050
DE-83
URL des Erstveröffentlichers