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

Petri nets based proofs of Ada 95 solution for preference control

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC] Systèmes embarqués
Fichier principal
Vignette du fichier
ACCOV23BKP1997(1).pdf (254.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Laboratoire CEDRIC  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01125435

Soumis le : jeudi 3 mars 2022-14:12:29

Dernière modification le : vendredi 19 juillet 2024-11:38:04

Archivage à long terme le : samedi 4 juin 2022-19:15:34

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM
42 Consultations
116 Téléchargements

Partager

More