Andrea Giotti

Publication Activity (10 Years)

Years Active: 2002-2003
Publications (10 Years): 0

Publications

Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai
TILCO Temporal Logic for Real-Time Systems Implementation in C++. SEKE (2003)
Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi
Execution of TILCO Temporal Logic Specifications. ICECCS (2002)
Ivan Bruno, Andrea Giotti, Massimo Monsignori, Paolo Nesi
A distributed industrial application for quality control of clinched boards based on computer vision. SEKE (2002)