2002 | ||
---|---|---|
3 | EE | Christodulos Pappas, Eva Coscia, Gabriella Dodero, Vittoria Gianuzzi, Mark Earney: A Mobile E-Health System Based on Workflow Automation Tools. CBMS 2002: 271-276 |
1999 | ||
2 | Eva Coscia, Gianna Reggio: JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. FASE 1999: 77-97 | |
1995 | ||
1 | Eva Coscia, Gianna Reggio: Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. COMPASS/ADT 1995: 161-181 |
1 | Gabriella Dodero | [3] |
2 | Mark Earney | [3] |
3 | Vittoria Gianuzzi | [3] |
4 | Christodulos Pappas | [3] |
5 | Gianna Reggio | [1] [2] |