Aroua Gharbi
Orcid: 0000-0002-0056-8996
According to our database1,
Aroua Gharbi
authored at least 3 papers
between 2022 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Practice and Experience in Advanced Research Computing, 2023
2022
Toward a robust Computational solution for Formal Verification and Validation in Model-based Systems Engineering.
PhD thesis, 2022
Proceedings of the PEARC '22: Practice and Experience in Advanced Research Computing, Boston, MA, USA, July 10, 2022