TRIO specification of a steam boiler controller

Chapter
Publication Date:
1996
Short description:
(1996). TRIO specification of a steam boiler controller [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27259
Iris type:
1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
List of contributors:
Authors of the University:
Handle:
https://aisberg.unibg.it/handle/10446/27259
Book title:
Formal methods for industrial applications. specifying and programming the steam boiler control
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Research