| |
| 2003 | ||
|---|---|---|
| 3 | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai: TILCO Temporal Logic for Real-Time Systems Implementation in C++. SEKE 2003: 166-173 | |
| 2002 | ||
| 2 | EE | Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi: Execution of TILCO Temporal Logic Specifications. ICECCS 2002: 78- |
| 1 | EE | Ivan Bruno, Andrea Giotti, Massimo Monsignori, Paolo Nesi: A distributed industrial application for quality control of clinched boards based on computer vision. SEKE 2002: 715-718 |
| 1 | Pierfrancesco Bellini | [2] [3] |
| 2 | Ivan Bruno | [1] |
| 3 | Massimo Monsignori | [1] |
| 4 | Paolo Nesi | [1] [2] [3] |
| 5 | Davide Rogai | [3] |