Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Audine Subias
Publications
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking
Yannick Pencolé
and
Audine Subias
In
:
28th International Workshop on Principles of Diagnosis (DX'17)
Keyphrases
diagnosis
,
model checking
,
patterns
,
Petri nets
.
Copyright © 2012-2024 easychair.org. All rights reserved.