EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information

Abstract : no abstract
Type de document :
Autre publication
CNAM, Université de Sherbroooke (Québec). 2004
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223282
Contributeur : Frédéric Gervais <>
Soumis le : lundi 2 novembre 2015 - 13:53:17
Dernière modification le : jeudi 11 janvier 2018 - 06:19:29

Identifiants

  • HAL Id : hal-01223282, version 1

Collections

Citation

Frédéric Gervais. EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information. CNAM, Université de Sherbroooke (Québec). 2004. 〈hal-01223282〉

Partager

Métriques

Consultations de la notice

29