Formal verification of UI using the power of a recent tool suite - Université Grenoble Alpes
Communication Dans Un Congrès Année : 2014

Formal verification of UI using the power of a recent tool suite

Raquel Oliveira
Laboratoire d'Informatique de Grenoble
Sophie Dupuy-Chessa
  • Fonction : Auteur
  • PersonId : 1015083
Gaëlle Calvary

Domaines

Informatique [cs]

Raquel Oliveira  : Connectez-vous pour contacter le contributeur

https://hal.univ-grenoble-alpes.fr/hal-04791147

Soumis le : mardi 19 novembre 2024-14:46:42

Dernière modification le : lundi 9 décembre 2024-03:28:00

Fichier non déposé

Dates et versions

hal-04791147 , version 1 (19-11-2024)

Identifiants

  • HAL Id : hal-04791147 , version 1

Citer

Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary. Formal verification of UI using the power of a recent tool suite. Symposium on Engineering interactive computing systems (EICS ’14)., Feb 2014, Lisbone, Portugal. ⟨hal-04791147⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_SIDCH
1 Consultations
0 Téléchargements

Partager

More