Skip to Main content Skip to Navigation
Conference papers

Verification of Language-Based Opacity in Petri Nets Using Verifier

Yin Tong Ziyue Ma Zhiwu Li Carla Seatzu Alessandro Giua 1
1 Dip. di Ingegneria Elettrica ed Elettronica (Univ. Cagliari)
Abstract : no abstract
Document type :
Conference papers
Complete list of metadata
https://hal-amu.archives-ouvertes.fr/hal-01490151
Contributor : William Domingues Vinhas <>
Submitted on : Tuesday, March 14, 2017 - 10:24:49 PM
Last modification on : Tuesday, March 14, 2017 - 10:24:49 PM

Identifiers

  • HAL Id : hal-01490151, version 1

Collections

UNIV-AMU | LSIS

Citation

Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua. Verification of Language-Based Opacity in Petri Nets Using Verifier. 2016 American Control Conference, Boston MA, USA, 2016, Unknown, Unknown Region. ⟨hal-01490151⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

51