Joëlle Cohen's Home page

Logique temporelle -- Temporal Logic

Spécifications des programmes temps réel -- Specification of real-time programs

Politiques de sécurité -- Security policies enforcement