Pubblicazioni

Francesco BASILE Pubblicazioni


2022
Articolo in rivista
Assessment of multilevel intransitive non-interference for Discrete Event Systems
IEEE CONTROL SYSTEMS LETTERS. Vol. 6. Pag.349-354
ISSN:2475-1456.
Basile, F.; De Tommasi, G.
Versione online
Digital Object Identifier (DOI): 10.1109/LCSYS.2021.3075658
Codice identificativo SCOPUS: 2-s2.0-85105095691
Visualizza sul Database dei Prodotti (IRIS)
2022
Articolo in rivista
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
NONLINEAR ANALYSIS. Vol. 44. Pag.1-23
ISSN:1751-570X.
Basile, F.; Boccia, M.; De Tommasi, G.; Motta, C.; Sterle, C.
Versione online
Digital Object Identifier (DOI): 10.1016/j.nahs.2022.101153
Codice identificativo SCOPUS: 2-s2.0-85123029148
Visualizza sul Database dei Prodotti (IRIS)