An optimization-based approach to assess non-interference in labeled and bounded Petri net systems / Basile, Francesco; Boccia, Maurizio; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio. - In: NONLINEAR ANALYSIS. - ISSN 1751-570X. - 44:(2022), p. 101153. [10.1016/j.nahs.2022.101153]
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
Boccia, Maurizio;De Tommasi, Gianmaria;Motta, Carlo;Sterle, Claudio
2022
File in 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.