Search
Now showing items 1-10 of 18
Kometen als Motiv in der abendländischen Kunst - Das Quattrocento
Keim, Frank (2017)
Beitrag zu einer Konferenz
Unifying Recursion in Partial, Total and General Correctness
Guttmann, Walter; Qin, S. (2010)
Beitrag zu einer Konferenz
Towards a Typed Omega Algebra
Guttmann, Walter; Swart, H. de (2011)
Beitrag zu einer Konferenz
Runtime Safety Analysis for Safe Reconfiguration
Priesterjahn, Claudia et al. (2012)
Beitrag zu einer Konferenz
Selected Challenges of Software Evolution for Automated Production Systems
Vogel-Heuser, B. et al. (2015)
Beitrag zu einer Konferenz
Identifying Optimal Sets of Standardized Architectural Features - A Method and its Automotive Application
Durisic, Darko; Staron, Miroslaw; Tichy, Matthias (2015)
Beitrag zu einer Konferenz
Designing Self-healing in Automotive Systems
Seebach, Hella et al. (2010)
Beitrag zu einer Konferenz
ARCA - Automated Analysis of AUTOSAR Meta-Model Changes
Durisic, Darko; Staron, Miroslaw; Tichy, Matthias (2015)
Beitrag zu einer Konferenz
Fujaba4Eclipse Real-Time Tool Suite
Priesterjahn, Claudia et al. (2010)
Beitrag zu einer Konferenz
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain
Liebel, Grischa et al. (2014)
Beitrag zu einer Konferenz