Salut,
J'ai un exposé a faire et j'ai le choix entre les sujets suivants :
- méthode B abrial
- event B preuve
- tcsp tcoz
- raffinement
- réseau pétri
- object constraint Language ocl
je n'ai aucune idée sur ces sujets si vous voulez m'aider à choisir le plus important.
merci d'avance
Partager