From informal requirements to COOP: a concurrent automata approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

From informal requirements to COOP: a concurrent automata approach

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-01135580

Soumis le : mercredi 25 mars 2015-15:05:01

Dernière modification le : mercredi 27 avril 2022-03:47:25

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01135580 , version 1

Citer

Christine Choppy, Pascal Poizat, Jean-Claude Royer. From informal requirements to COOP: a concurrent automata approach. Formal Methods, 1999, Toulouse, France. pp.939-962. ⟨hal-01135580⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More