Temporal Logic Verifications for UML: the Vending Machine Example - Archive ouverte HAL
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux Année : 2003

Temporal Logic Verifications for UML: the Vending Machine Example

Résumé

no abstract

Domaines

Langage de programmation [cs.PL]

Jean-Claude Royer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00443974

Soumis le : mardi 5 janvier 2010-12:31:08

Dernière modification le : mardi 17 septembre 2024-15:54:53

Fichier non déposé

Dates et versions

hal-00443974 , version 1 (05-01-2010)

Identifiants

  • HAL Id : hal-00443974 , version 1

Citer

Jean-Claude Royer. Temporal Logic Verifications for UML: the Vending Machine Example. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2003, 9 (4), pp.73--92. ⟨hal-00443974⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA LINA LINA-ASCOLA INFO INRIA2 LS2N IMT-ATLANTIQUE NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
106 Consultations
0 Téléchargements

Partager

More