MEFISTO WP2-4
Navarre, D., Palanque, P., Bastide, R., Sy, O.
Formal Specification of the DRUIDES prototype
This paper presents the specification of Druides ATC prototype using the ICO formalism. This specification is based on:
· the information contained in the WP1-3 describing the case study
· the video tape which presents the application
· the reengineering of the prototype.
The use of the formalism follows its formal definition presented in WP 2.6.
Home
Overview
Contact list
Planning of Work
Documents
Workspace
Related Links
Statistics