Next: 2.2.2.1 Introduction Up: FERMI Formalisation and Experimentation Previous: 2.2.4.4 Universitaet Dortmund

2