Diapositiva di PowerPoint
Contesto
Sommario
TILCO
C-TILCO
C-TILCO (comunicazione)
C-TILCO (esempio)
TILCO-X
TILCO-X (sistema deduttivo)
Esecuzione di specifiche
Reti di inferenza temporale
Tools for TILCO Specification
Conclusioni
Posta elettronica: pbellini@dsi.unifi.it
Home Page: http://dsii.dsi.unifi.it/~pbellini/