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

From informal requirements to COOP: a concurrent automata approach

Christine Choppy
  • Fonction : Auteur
Pascal Poizat
Jean-Claude Royer
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⟩
43 Consultations
0 Téléchargements

Partager

More