Verification and Validation Techniques to Use UML for the Specification of Reactive Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 1998

Verification and Validation Techniques to Use UML for the Specification of Reactive Systems

Alioune Diagne
  • Fonction : Auteur
Daniel Moldt
  • Fonction : Auteur
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Systèmes répartis et coopératifs

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01575055

Soumis le : jeudi 17 août 2017-16:22:24

Dernière modification le : mardi 11 avril 2023-15:16:28

Fichier non déposé

Dates et versions

hal-01575055 , version 1 (17-08-2017)

Identifiants

  • HAL Id : hal-01575055 , version 1

Citer

Alioune Diagne, Daniel Moldt, Jean-Michel Ilié. Verification and Validation Techniques to Use UML for the Specification of Reactive Systems. 31st Hawaiian International Conference on System Sciences, Jan 1998, Kohala Coast, Hawaii, United States. ⟨hal-01575055⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
44 Consultations
0 Téléchargements

Partager

More