Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Chiheb Ameur Abid"'
Publikováno v:
Advanced Information Networking and Applications ISBN: 9783031290558
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f61b91a5c16b487db65d879f33e24fb7
https://doi.org/10.1007/978-3-031-29056-5_29
https://doi.org/10.1007/978-3-031-29056-5_29
Publikováno v:
2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d95d940df2cbca92a980e9be6ad270a1
https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom57177.2022.00114
https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom57177.2022.00114
Publikováno v:
2022 8th International Conference on Control, Decision and Information Technologies (CoDIT).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::554ee02d01bf8c42832829acb512de73
https://doi.org/10.1109/codit55151.2022.9804039
https://doi.org/10.1109/codit55151.2022.9804039
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030988494
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::118a7b40ce737fd5c523d1b9fe5741ee
https://doi.org/10.1007/978-3-030-98850-0_3
https://doi.org/10.1007/978-3-030-98850-0_3
Publikováno v:
Cooperative Information Systems ISBN: 9783031178337
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd5d82ecaf261e5e7fba851a0412a072
https://doi.org/10.1007/978-3-031-17834-4_3
https://doi.org/10.1007/978-3-031-17834-4_3
Publikováno v:
Petri Nets Applications
The Supervisory Control Theory (SCT) (RamadgeW Giua & DiCesare, 1994; Sreenivas & Sreenivas, 1997), since they represent a good trade-off between modelling power and analysis capabilities. For details about the supervisory control problem methods bas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4719927eda9247ade73d17a7526f688
http://www.intechopen.com/articles/show/title/supervisory-control-and-high-level-petri-nets
http://www.intechopen.com/articles/show/title/supervisory-control-and-high-level-petri-nets
Publikováno v:
ISPA/BDCloud/SocialCom/SustainCom
The model checking is one of the major techniques used in the formal verification. This technique builds on an automatic procedure that takes a model $M$ of a system and a formula $\varphi$ expressing a temporal property, and decides whether the syst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6df9fe5c907068dac04902b385072751
https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom51426.2020.00028
https://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom51426.2020.00028
Publikováno v:
ACSD
An efficient way to cope with the combinatorial explosion problem induced by the model checking process is to compute the Symbolic Observation Graph (SOG). Given an stuttering invariant event-based LTL formula φ, involving a subset of actions E (cal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7364a9752f28c8728b689587d49330b7
https://doi.org/10.1109/acsd.2019.00007
https://doi.org/10.1109/acsd.2019.00007
Publikováno v:
ISPA/IUCC/BDCloud/SocialCom/SustainCom
An efficient way to cope with the combinatorial explosion problem induced by the model checking process is to compute the Symbolic Observation Graph (SOG). Such a graph is a condensed representation of the state space that is obtained by taking advan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f704b582dba666df5989984c1607aa41
https://doi.org/10.1109/bdcloud.2018.00034
https://doi.org/10.1109/bdcloud.2018.00034
Publikováno v:
SCSS
Model checking is a powerful and widespread technique for the verification of finite dis- tributed systems. It takes as input a formal model of a system and a formal specification (formula) of a property to be checked, and states whether the system s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1e04c7d8a3815098b4ef64a0e0f3b6b7
https://doi.org/10.29007/7b44
https://doi.org/10.29007/7b44