![]() |
| 1996 | ||
|---|---|---|
| 2 | Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte: Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. DSV-IS 1996: 162-187 | |
| 1995 | ||
| 1 | Fabio Paternò, M. Mezzanotte: Formal verification of undesired behaviours in the CERD case study. EHCI 1995: 213-226 | |
| 1 | Rémi Bastide | [2] |
| 2 | Philippe A. Palanque | [2] |
| 3 | Fabio Paternò | [1] [2] |