Model-Checking based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant / M., G., A., H., A., B., Tronci, E., E., C., M., M.. - STAMPA. - 2434:(2002), pp. 273-283. (Computer Safety, Reliability and Security Catania, Italy 10-13 September 2002).
Model-Checking based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
TRONCI, Enrico;
2002
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


