Model-checking based on fluid petri nets for the temperature control system of the ICARO co-generative plant
Marco Gribaudo
, A. Horváth
, A. Bobbio
, Enrico Tronci
, Ester Ciancamerla
, Michele Minichino
Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review
Fingerprint
Entra nei temi di ricerca di 'Model-checking based on fluid petri nets for the temperature control system of the ICARO co-generative plant'. Insieme formano una fingerprint unica.