Trinh Le Khanh

According to our database, Trinh Le Khanh authored at least 1 paper in 2023.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2023

Design of Correct-by-Construction Self-adaptive Cloud Applications using Formal Methods. (Conception d'applications Cloud Auto-adaptatives Correct-by- Construction à l'aide de Méthodes Formelles).

Trinh Le Khanh

PhD thesis, 2023