AAAAAA

   
Results: 1-4 |
Results: 4

Authors: Aquilani, F Balsamo, S Inverardi, P
Citation: F. Aquilani et al., Performance analysis at the software architectural design level, PERF EVAL, 45(2-3), 2001, pp. 147-178

Authors: De Francesco, N Fantechi, A Gnesi, S Inverardi, P
Citation: N. De Francesco et al., Finite approximations for model checking non-finite-state processes, COMPUTER J, 44(2), 2001, pp. 109-123

Authors: Inverardi, P Wolf, AL Yankelevich, D
Citation: P. Inverardi et al., Static checking of system behaviors using derived component assumptions, ACM T SOFTW, 9(3), 2000, pp. 239-272

Authors: Compare, D Inverardi, P Wolf, AL
Citation: D. Compare et al., Uncovering architectural mismatch in component behavior, SCI COMP PR, 33(2), 1999, pp. 101-131
Risultati: 1-4 |