Verification of Current State Opacity using Switching Output Automata

Liu T.
First
;Seatzu C.
Penultimate
;Giua A.
Last
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
Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Questionnaire and social

Share on:
Impostazioni cookie