Validation of Formal Specification: the Case for Animation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Validation of Formal Specification: the Case for Animation

Atif Mashkoor
  • Fonction : Auteur
  • PersonId : 854132
Development of specifications
Faqing Yang
  • Fonction : Auteur
Development of specifications
Jean-Pierre Jacquot
  • Fonction : Auteur
  • PersonId : 830614
Development of specifications

Résumé

Validation of Formal Specification: the Case for Animation

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
main.pdf (27.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Atif Mashkoor  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00575644

Soumis le : jeudi 10 mars 2011-19:06:51

Dernière modification le : vendredi 24 mars 2023-14:52:54

Archivage à long terme le : jeudi 8 novembre 2012-11:30:24

Télécharger pour visualiser

Dates et versions

inria-00575644 , version 1 (10-03-2011)

Identifiants

  • HAL Id : inria-00575644 , version 1

Citer

Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot. Validation of Formal Specification: the Case for Animation. 3rd workshop on Security and Reliability (SecDay'11), Mar 2011, Trier, Germany. ⟨inria-00575644⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA
54 Consultations
45 Téléchargements

Partager

Gmail Facebook X LinkedIn More