Petri nets based proofs of Ada 95 solution for preference control - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

Petri nets based proofs of Ada 95 solution for preference control

Fichier principal
Vignette du fichier
ACCOV23BKP1997(1).pdf (254.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01125435 , version 1 (03-03-2022)

Identifiants

  • HAL Id : hal-01125435 , version 1

Citer

Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre. Petri nets based proofs of Ada 95 solution for preference control. 4th Asia-Pacific Software Engineering Conference APSEC'97, Dec 1997, Hong Kong, China. pp.238-248. ⟨hal-01125435⟩

Collections

CNAM CEDRIC-CNAM
28 Consultations
98 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More