Verification of Language-Based Opacity in Petri Nets Using Verifier - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Verification of Language-Based Opacity in Petri Nets Using Verifier

Yin Tong
  • Fonction : Auteur
Ziyue Ma
  • Fonction : Auteur
Zhiwu Li
Carla Seatzu
  • Fonction : Auteur
Alessandro Giua
  • Fonction : Auteur
Università degli Studi di Cagliari = University of Cagliari

Résumé

no abstract

Domaines

Informatique [cs] Automatique Traitement du signal et de l'image [eess.SP]

William Domingues Vinhas  : Connectez-vous pour contacter le contributeur

https://amu.hal.science/hal-01490151

Soumis le : mardi 14 mars 2017-22:24:49

Dernière modification le : vendredi 25 novembre 2022-18:54:06

Fichier non déposé

Dates et versions

hal-01490151 , version 1 (14-03-2017)

Identifiants

  • HAL Id : hal-01490151 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-AMU LSIS
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More