Introduction; – Normative Temporal Logic; – Symbolic Representations; – Model Checking; – Case Study : Traffic Control; – Discussion.
Haut de page
Retour à la page précédente
Mentions légales © SIPS, 2022.Dernière mise à jour : Dimanche 14 août 2022