Présentation de l'auteur Tichakorn Wongpiromsarn :

Livres publiés jusqu'à présent par Tichakorn Wongpiromsarn :

Méthodes formelles pour les systèmes autonomes - Formal Methods for Autonomous Systems

Les méthodes formelles font référence à des approches...