BibSonomy :: author  ::

bookmarks

publications

(3)

• TILCO Temporal Logic for Real-Time Systems Implementation in C++.
  Pierfrancesco Bellini and Andrea Giotti and Paolo Nesi and Davide Rogai SEKE 166-173 (2003)
  to dblp by dblp on 2005-05-17 00:00:00
  | URL | BibTeX  
• Execution of TILCO Temporal Logic Specifications.
  Pierfrancesco Bellini and Andrea Giotti and Paolo Nesi ICECCS 78- (2002)
  to dblp by dblp on 2003-12-02 00:00:00
  | URL | BibTeX  
• A distributed industrial application for quality control of clinched boards based on computer vision.
  Ivan Bruno and Andrea Giotti and Massimo Monsignori and Paolo Nesi SEKE 715-718 (2002)
  to dblp by dblp on 2002-10-18 00:00:00
  | URL | BibTeX