Revue des Sciences et Technologies de l'Information

Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires

Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer

Modélisation formelle d'IHM multimodales en sortie avec B Événementiel

Jean-Pierre Jacquot

Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomoas aeruginosa

Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti

Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multipériodique