Andrea Giotti

According to our database, Andrea Giotti authored at least 3 papers between 2002 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

TILCO Temporal Logic for Real-Time Systems Implementation in C++.

Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002

A distributed industrial application for quality control of clinched boards based on computer vision.

Ivan Bruno, Andrea Giotti, Massimo Monsignori, Paolo Nesi

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Execution of TILCO Temporal Logic Specifications.

Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002