Opacity problems in subclasses of timed automata - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Dates et versions

hal-04631012 , version 1 (01-07-2024)
hal-04631012 , version 2 (04-07-2024)

Identifiants

  • HAL Id : hal-04631012 , version 1

Citer

Étienne André, Sarah Dépernet, Engel Lefaucheux. Opacity problems in subclasses of timed automata. 2024. ⟨hal-04631012v1⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More