Francesco BASILE | Publications
Francesco BASILE Publications
| 2023 | |
| Articolo in rivista | |
| Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques AUTOMATICA. Vol. 152. Pag.1-9 ISSN:0005-1098. | |
| Basile, F.; De Tommasi, G.; Motta, C. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.automatica.2023.110911 Codice identificativo ISI: WOS:000962399500001 Codice identificativo SCOPUS: 2-s2.0-85149759121 | |
| Show it in Product Database (IRIS) |
| 2023 | |
| Articolo in rivista | |
| Validation of Industrial Automation Systems Using a Timed Model of System Requirements IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. Vol. 31. Pag.130-143 ISSN:1063-6536. | |
| Basile, F.; Ferrara, L. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1109/TCST.2022.3173890 Codice identificativo ISI: WOS:000800817200001 Codice identificativo SCOPUS: 2-s2.0-85130445341 | |
| Show it in Product Database (IRIS) |
