Verification of Current State Opacity using Switching Output Automata

Liu T.
Primo
;Seatzu C.
Penultimo
;Giua A.
Ultimo
2023-01-01
2023
Inglese
Proceedings of CoDIT23
2665
2670
6
2-s2.0-85177420965
CoDIT23: 9th Int. Conf. on Control, Decision and Information Technologies ()
Esperti anonimi
3-6 Jul, 2023
Rome, Italy
internazionale
scientifica
no
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Liu, T.; Seatzu, C.; Giua, A.
273
3
4.1 Contributo in Atti di convegno
none
info:eu-repo/semantics/conferencePaper
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.

Questionario e social

Condividi su:
Impostazioni cookie