Statistical Model Checking for Cyber-Physical Systems / Clarke Edmund, M.; Zuliani, P. - 6996:(2011), pp. 1-30. [10.1007/978-3-642-24372-1_1]
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.


