Logo Sips
Accueil

Abécédaire

Recherche

Intranet

Contact

Système d'information en philosophie des sciences

Logo Sips
ImprimerEnvoyer le lien

ARTICLE

A Temporal Logic of Normative Systems

  • Pages : 69 à 105
  •  
  •  
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 02-11-2015

Mots-clés :

Résumé :

Anglais

Introduction; – Normative Temporal Logic; – Symbolic Representations; – Model Checking; – Case Study : Traffic Control; – Discussion.

 

Mots-clés :

Résumé :

Anglais

Introduction; – Normative Temporal Logic; – Symbolic Representations; – Model Checking; – Case Study : Traffic Control; – Discussion.

 
Haut de pageRetour à la page précédente