Deployment Assessment Sample Clauses

Deployment Assessment. Three different aspects are addressed in this section: 1. The quantitative results of applying our requirements engineering method during the pilot deployment 2. The results concerning the specification and formal modelling 3. The results concerning the gathered proof obligations in the Event-B model