Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.

Marco Gribaudo, Andrs Horvth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino

Browse the full SAFECOMP paper archive.