Formal specification of mixed components with Korrigan - Archive ouverte HAL
Communication Dans Un Congrès Année : 2001

Formal specification of mixed components with Korrigan

Christine Choppy (1) , Pascal Poizat (1) , Jean-Claude Royer (1)
Christine Choppy
  • Fonction : Auteur
IRIN
Pascal Poizat
IRIN
CV
Jean-Claude Royer
IRIN
CV

Domaines

Génie logiciel [cs.SE]

Jean-Claude Royer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01135653

Soumis le : mercredi 25 mars 2015-15:59:54

Dernière modification le : mercredi 27 avril 2022-03:59:56

Fichier non déposé

Dates et versions

hal-01135653 , version 1 (25-03-2015)

Identifiants

  • HAL Id : hal-01135653 , version 1

Citer

Christine Choppy, Pascal Poizat, Jean-Claude Royer. Formal specification of mixed components with Korrigan. 8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. pp.169--176. ⟨hal-01135653⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES NANTES-UNIVERSITE
38 Consultations
0 Téléchargements

Partager

More