Auflistung P179 - FM+AM`2010 - Second International Workshop on Formal Methods and Agile Methods Nach Schlagwort
| Schlagwort |
|---|
| agile development [1] |
| ioco [1] |
| iterative refinement [1] |
| model-based testing [1] |
| nondeterminism [1] |
| off-the-fly [1] |
| on-the-fly [1] |