1
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... -- Software -- Model in the Loop -- Dezentralität -- Adaptivität und Selbstorganisation -- Kooperation und...

2
Published 2011
Springer Berlin Heidelberg
Subjects: ...Software engineering...

3
Published 2013
Springer Berlin Heidelberg
Subjects: ...Software engineering...

4
Published 2013
Springer Berlin Heidelberg
Subjects: ...Software engineering...

5
Published 2012
Springer Berlin Heidelberg
Subjects: ...Software engineering...

6
by Halang, Wolfgang A., Konakovsky, Rudolf M.
Published 2018
Springer Berlin Heidelberg
Table of Contents: ... Rechnersysteme -- Entwicklung sicherheitsgerichteter Software -- Software-Verifikation -- Quantitative Bewertung...

7
by Halang, Wolfgang A., Konakovsky, Rudolf M.
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Rechnersysteme -- Entwicklung sicherheitsgerichteter Software -- Software-Verifikation -- Quantitative Bewertung...

8
Published 2016
Springer Berlin Heidelberg
Subjects: ...Software engineering...

9
Published 2015
Springer Berlin Heidelberg
Subjects: ...Software engineering...

10
Published 2017
Springer Berlin Heidelberg
Subjects: ...Software engineering...

11
by Halang, Wolfgang A.
Published 1991
Springer Berlin Heidelberg
Table of Contents: ...Software Engineering in Realzeit-Projekten -- Versuche der Compiler-Validierung -- LACATRE...

12
by Wang, Xia, Halang, Wolfgang A.
Published 2013
Springer Berlin Heidelberg
Subjects: ...Application software...