Result 1 to 20 of 59 total
Safe automotive software. (English)
König, Andreas (ed.) et al., Knowledge-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-23865-9/pbk). Lecture Notes in Computer Science 6884. Lecture Notes in Artificial Intelligence, 167-176 (2011).
1
Vertical safety interfaces ‒ improving the efficiency of modular certification. (English)
Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 29-42 (2011).
2
Differentiating between successful and less successful products by using MAInEEAC ‒ a model for interaction characterization. (English)
Jacko, Julie A. (ed.), Human-computer interaction. Design and development approaches. 14th international conference, HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21601-5/pbk). Lecture Notes in Computer Science 6761, 238-247 (2011).
3
Extensible and automated model-evaluations with INProVE. (English)
Kraemer, Frank Alexander (ed.) et al., System analysis and modeling: about models. 6th international workshop, SAM 2010, Oslo, Norway, October 4‒5, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21651-0/pbk). Lecture Notes in Computer Science 6598, 193-208 (2011).
4
Integration of component fault trees into the UML. (English)
Dingel, Juergen (ed.) et al., Models in software engineering. Workshops and symposia at MODELS 2010, Oslo, Norway, October 2‒8, 2010. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-21209-3/pbk). Lecture Notes in Computer Science 6627, 312-327 (2011).
5
Multiscale visualization of 3D geovirtual environments using view-dependent multi-perspective views (English)
Journal of WSCG 19, No. 3, 111-118 (2011).
6
Strategies for visualising 3D points-of-interest on mobile devices (English)
J. Location Based Services 5, No. 2, 79-99 (2011).
7
A safety engineering framework for open adaptive systems (English)
SASO, 89-98 (2011).
8
We need non-formal methods based on formal models in interaction design (English)
ECCE, 287-288 (2011).
9
Safe automotive software (English)
KES (4), 167-176 (2011).
10
Differentiating between successful and less successful products by using maineeac - A model for interaction characterization (English)
HCI (1), 238-247 (2011).
11
Vertical safety interfaces - improving the efficiency of modular certification (English)
SAFECOMP, 29-42 (2011).
12
Approaching runtime trust assurance in open adaptive systems (English)
SEAMS, 196-201 (2011).
13
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. (English)
ACM Trans Embed. Comput. Syst. 10, No. 2, 20 (2010).
14
Embedded systems. Systems foundations and development of embedded software. (Eingebettete Systeme. Systemgrundlagen und Entwicklung eingebetteter Software.) (German)
Wiesbaden: Vieweg+Teubner (ISBN 978-3-8348-0422-8/pbk; 978-3-8348-9661-2/ebook). x, 270~p. EUR~24.95 (2010).
15
Communication of digital cultural heritage in public spaces by the example of Roman Cologne. (English)
Ioannides, Marinos (ed.) et al., Digital heritage. Third international conference, EuroMed 2010, Lemessos, Cyprus, November 8‒13, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16872-7/pbk). Lecture Notes in Computer Science 6436, 262-276 (2010).
16
Eingebettete systeme - systemgrundlagen und entwicklung eingebetteter software (English)
Eingebettete systeme - systemgrundlagen und entwicklung eingebetteter software, I-X, 1-270 (2010).
17
A service-oriented view on business processes and supporting applications (English)
BMMDS/EMMSAD, 39-48 (2010).
18
Extensible and automated model-evaluations with inprove (English)
SAM, 193-208 (2010).
19
Communication of digital cultural heritage in public spaces by the example of roman cologne (English)
EuroMed, 262-276 (2010).
20
Result 1 to 20 of 59 total
Start
Contact
Print
General Help
