Contributions to Model-Based Testing of Dynamic and Distributed Real-Time Systems. (Contributions au Test à Base-de-Modèles de Systèmes Temps-Réels Dynamiques et Distribués)

By Moez Krichen. 2018

17 citations recorded by the source corpus.

Citations in the corpus

• Generative Adversarial Networks (2021, neutral): “GANs is the use of formal methods to improve their reliability and safety [21], [22].”
• Deep Reinforcement Learning (2023, unknown): “Formal techniques are mathematical techniques for specifying, analyzing, and verifying software and hardware systems [37]–[41].”