Un editor visuale per la specifica in TILCO di sistemi di tempo reale
Diapositiva di PowerPoint
TOTS
BTL (Basic Temporal Logic)
Rete di inferenza temporale
Semplificazione della rete
Sottodiagrammi
Esempio(1)
Esempio(2)
Sottodiagrammi(2)
Esempio
Operatori pił complessi
Sottodiagrammi(1)
Diagramma delle classi(1)
Conclusioni
Posta elettronica: pbellini@dsi.unifi.it
Home Page: http://dsii.dsi.unifi.it/~pbellini/