An examination of non-linear and passive technology transfer in the space sector: Consideration of the Contingent Effectiveness Model as a basis for formal modeling
2016
Aufsatz (Zeitschrift)
Englisch
Technology transfer issues for formal methods of software specification
Tema Archiv | 2000
|Formal modeling of space shuttle software change requests using SCR
Tema Archiv | 1999
|