Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bert, Didier. Laboratoire Logiciels, Systèmes, Informatique et Mathématiques Appliquées de Grenoble
DEA Informatique, Syst`emes et Communications 6 Mars 1997 Option Logiciel
Corrig'e du sujet d'examen du module Construction des Logiciels
Exemples de conduite de preuve interactive avec l'AtelierB, version 3.5
Proprits dynamiques avec hypothses d'quit en B vnementiel
Corrig'e du sujet d'examen du module Sp'ecification par mod`eles et d'eveloppement
Corrig'e du sujet d'examen du module Sp'ecification des Logiciels
DEA Informatique, Syst`emes et Communications 2 Mars 1998 Option Logiciel
B vnementiel Cours donn l'Ecole des Jeunes Chercheurs en Programmation
DEA Informatique, Syst`emes et Communications 17 D'ecembre 1999 Profil V'erification des Syst`emes Critiques
Memento du d'emonstrateur interactif B Version 3.5
Specification en B Support de cours
Corrig e du sujet d'examen du module Sp eci cation par mod eles et d eveloppement rigoureux
DEA Informatique 15 D'ecembre 1994 (Partie d'examen avec extensions)
Master Math ematiques-Informatique 15 D ecembre 2003 Sp ecialit e: \Syst emes et Logiciels"
Corrig'e du sujet d'examen du module Construction des Logiciels
DEA Informatique, Syst emes et Communications 19 D ecembre 2001 Pro l V eri cation des Syst emes Critiques
A Fixpoint Semantics of Event Systems with and without Fairness Assumptions
Modularite La mthode B
