Formal Tropos Case Studies
We applied the Formal Tropos methodology on several case studies in different applicative domains.
The case studies considered range from "toy" examples to industrial case studies.
Here we presents the ones not covered by non-disclosure agreements that have been
considered so far in the papers presented to conferences or submitted to journals.