A Scalable Formal Method for Design and Automatic Checking of User Interfaces - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

A Scalable Formal Method for Design and Automatic Checking of User Interfaces

Jean Berstel
  • Fonction : Auteur
  • PersonId : 836548
Stefano Crespi Reghizzi
  • Fonction : Auteur
Pierluigi San Pietro
  • Fonction : Auteur
Gilles Roussel
Fichier non déposé

Dates et versions

hal-00619889 , version 1 (06-09-2011)

Identifiants

  • HAL Id : hal-00619889 , version 1

Citer

Jean Berstel, Stefano Crespi Reghizzi, Pierluigi San Pietro, Gilles Roussel. A Scalable Formal Method for Design and Automatic Checking of User Interfaces. International Conference on Software Engineering (ICSE'01), May 2001, Canada. pp.453-462. ⟨hal-00619889⟩
63 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More