Chams Eddine Choucha
Orcid: 0000-0003-0194-4890
According to our database1,
Chams Eddine Choucha
authored at least 6 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 6th International Conference on Pattern Analysis and Intelligent Systems, 2024
2023
Proceedings of the 20th International Conference on Informatics in Control, 2023
2020
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture.
Proceedings of the 15th International Conference on Software Technologies, 2020
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture.
Proceedings of the Software Technologies - 15th International Conference, 2020
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.
Proceedings of the Software Technologies - 15th International Conference, 2020
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.
Proceedings of the 15th International Conference on Software Technologies, 2020