Temporal Logic Verifications for UML: the Vending Machine Example - LINA - Langages d'Aspects et de Composants Accéder directement au contenu
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
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⟩
88 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More