TRIO specification of a steam boiler controller

Capitolo di libro
Data di Pubblicazione:
1996
Citazione:
(1996). TRIO specification of a steam boiler controller [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27259
Tipologia CRIS:
1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
Elenco autori:
Gargantini, Angelo Michele; Morzenti, Angelo
Autori di Ateneo:
GARGANTINI Angelo Michele
Link alla scheda completa:
https://aisberg.unibg.it/handle/10446/27259
Titolo del libro:
Formal methods for industrial applications. specifying and programming the steam boiler control
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Ricerca

Settori


Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni