Validation of Formal Specification: the Case for Animation

Atif Mashkoor 1 Faqing Yang 1 Jean-Pierre Jacquot 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Validation of Formal Specification: the Case for Animation
Type de document :
Communication dans un congrès
3rd workshop on Security and Reliability (SecDay'11), Mar 2011, Trier, Germany. 2011
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00575644
Contributeur : Atif Mashkoor <>
Soumis le : jeudi 10 mars 2011 - 19:06:51
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : jeudi 8 novembre 2012 - 11:30:24

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00575644, version 1

Collections

Citation

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. 2011. 〈inria-00575644〉

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

78