Cet article présente une méthode pour simplifier les spécifications LTL dans les systèmes réactifs.
― 6 min lire
La science de pointe expliquée simplement
Cet article présente une méthode pour simplifier les spécifications LTL dans les systèmes réactifs.
― 6 min lire