AAAAAA
Results:
1-9
|
Results: 9
Authors:
Broy, M
Hartkopf, S
Kohler, K
Rombach, D
Citation: M. Broy et al., Germany: Combining software and application competencies, IEEE SOFTW, 18(4), 2001, pp. 93
Authors:
Broy, M
Stefanescu, G
Citation: M. Broy et G. Stefanescu, The algebra of stream processing functions, THEOR COMP, 258(1-2), 2001, pp. 99-129
Authors:
Broy, M
Citation: M. Broy, Refinement of time, THEOR COMP, 253(1), 2001, pp. 3-26
Authors:
Broy, M
Citation: M. Broy, Toward a mathematical foundation of software engineering methods, IEEE SOFT E, 27(1), 2001, pp. 42-57
Authors:
Broy, M
Citation: M. Broy, Untitled, ACT INFORM, 37(4-5), 2001, pp. 227-228
Authors:
Broy, M
Citation: M. Broy, Algebraic specification of reactive systems, THEOR COMP, 239(1), 2000, pp. 3-40
Authors:
Broy, M
Citation: M. Broy, Software technology - formal methods and scientific foundations, INF SOFTW T, 41(14), 1999, pp. 947-950
Authors:
Schieder, B
Broy, M
Citation: B. Schieder et M. Broy, Adapting calculational logic to the undefined, COMPUTER J, 42(2), 1999, pp. 73-81
Authors:
Grosu, R
Broy, M
Selic, B
Stefanescu, G
Citation: R. Grosu et al., What is behind UML-RT?, KLUW ENGN C, 523, 1999, pp. 75-90
Risultati:
1-9
|