-
1
المؤلفون: Laid Kahloul, Chams Eddine Choucha, Moahmed Khalgui, Mohamed Ramdani
المصدر: Communications in Computer and Information Science ISBN: 9783030830069
ICSOFT (Selected Papers)مصطلحات موضوعية: Flexibility (engineering), Computation tree logic, business.industry, Computer science, Distributed computing, Control reconfiguration, Cloud computing, Fault tolerance, User requirements document, business, Formal verification, Modularity
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::387aafb906ca59e05c2708073ef62bf1
https://doi.org/10.1007/978-3-030-83007-6_6 -
2R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture
المؤلفون: Mohamed Oussama Ben Salem, Laid Kahloul, Chams Eddine Choucha, Naima Souad Ougouti, Moahmed Khalgui
المصدر: Communications in Computer and Information Science ISBN: 9783030830069
ICSOFT (Selected Papers)مصطلحات موضوعية: Model checking, Theoretical computer science, Computation tree logic, Computer science, Benchmark (computing), Control reconfiguration, State space, Petri net, Ontology (information science), Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f4aaa93c6df8e436f45ce1ec16f8a259
https://doi.org/10.1007/978-3-030-83007-6_3