Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
Contributo in Atti di convegno
Data di Pubblicazione:
2002
Tipologia CRIS:
04B-Conference paper in rivista
Elenco autori:
M. GRIBAUDO; A. HORVATH; A. BOBBIO; E. TRONCI; E. CIANCAMERLA; M. MINICHINO
Link alla scheda completa:
Pubblicato in: