History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 | next | last

Result 1 to 20 of 36 total

Generic fault modelling for fault injection. (English)
Aichernig, Bernhard K. (ed.) et al., Formal methods for components and objects. 9th international symposium, FMCO 2010, Graz, Austria, November 29‒December 1, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-25270-9/pbk). Lecture Notes in Computer Science 6957, 287-296 (2011).
WorldCat.org
1
From EAST-ADL to AUTOSAR software architecture: a mapping scheme. (English)
Crnkovic, Ivica (ed.) et al., Software architecture. 5th European conference, ECSA 2011, Essen, Germany, September 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23797-3/pbk). Lecture Notes in Computer Science 6903, 328-335 (2011).
WorldCat.org
2
From EAST-ADL to AUTOSAR software architecture: A mapping scheme (English)
ECSA, 328-335 (2011).
WorldCat.org
3
Tool integration beyond wasserman (English)
CAiSE Workshops, 270-281 (2011).
WorldCat.org
4
A concept for secure production programming of embedded industrial field devices (English)
COMPSAC, 176-181 (2011).
WorldCat.org
5
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2. (English)
Schoitsch, Erwin (ed.), Computer safety, reliability, and security. 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15650-2/pbk). Lecture Notes in Computer Science 6351, 332-346 (2010).
WorldCat.org
6
MODIFI: a model-implemented fault injection tool. (English)
Schoitsch, Erwin (ed.), Computer safety, reliability, and security. 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15650-2/pbk). Lecture Notes in Computer Science 6351, 210-222 (2010).
WorldCat.org
7
Towards model-based engineering of self-configuring embedded systems. (English)
Giese, Holger (ed.) et al., Model-based engineering of embedded real-time systems. International Dagstuhl workshop, Dagstuhl Castle, Germany, November 4‒9, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16276-3/pbk). Lecture Notes in Computer Science 6100, 345-353 (2010).
WorldCat.org
8
The EAST-ADL architecture description language for automotive embedded software. (English)
Giese, Holger (ed.) et al., Model-based engineering of embedded real-time systems. International Dagstuhl workshop, Dagstuhl Castle, Germany, November 4‒9, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16276-3/pbk). Lecture Notes in Computer Science 6100, 297-307 (2010).
WorldCat.org
9
Generic fault modelling for fault injection (English)
FMCO, 287-296 (2010).
WorldCat.org
10
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2 (English)
SAFECOMP, 332-346 (2010).
WorldCat.org
11
MODIFI: A model-implemented fault injection tool (English)
SAFECOMP, 210-222 (2010).
WorldCat.org
12
An executable design decision representation using model transformations (English)
EUROMICRO-SEAA, 131-134 (2010).
WorldCat.org
14
The CVM framework - A prototype tool for compositional variability management (English)
VaMoS, 101-105 (2010).
WorldCat.org
15
Integrating safety analysis into the model-based development toolchain of automotive embedded systems (English)
LCTES, 125-132 (2010).
WorldCat.org
16
Context-aware adaptation in dyscas (English)
ECEASST 19 (2009).
WorldCat.org
17
Modelling support for design of safety-critical automotive embedded systems. (English)
Harrison, Michael D. (ed.) et al., Computer safety, reliability, and security. 27th international conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22‒25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87697-7/pbk). Lecture Notes in Computer Science 5219, 72-85 (2008).
WorldCat.org
18
Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems (English)
CDC, 3737-3742 (2008).
WorldCat.org
19
Modelling support for design of safety-critical automotive embedded systems (English)
SAFECOMP, 72-85 (2008).
WorldCat.org
20
first | previous | 1 21 | next | last

Result 1 to 20 of 36 total

Valid XHTML 1.0 Transitional Valid CSS!