Teaching Formal Methods: Lessons to learn

Jean-Paul Gibson 1 Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Comment est ce qu'on peut enseigner les méthodes formelles ? Quelques etudes de cas en utilisant differents modèles de specification ?
Type de document :
Communication dans un congrès
Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098616
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:59
Dernière modification le : jeudi 11 janvier 2018 - 06:21:04

Identifiants

  • HAL Id : inria-00098616, version 1

Collections

Citation

Jean-Paul Gibson, Dominique Méry. Teaching Formal Methods: Lessons to learn. Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p, 1998. 〈inria-00098616〉

Partager

Métriques

Consultations de la notice

55