On the decidability of linear bounded periodic cyber-physical systems / Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio. - (2019), pp. 87-98. [10.1145/3302504.3311797]
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
lmm(hscc19).pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
868.98 kB
Formato
Adobe PDF
|
868.98 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.