Petri nets based proofs of Ada 95 solution for preference control - Archive ouverte HAL Access content directly
Conference Papers Year : 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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-01125435 , version 1

Cite

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
19 View
44 Download

Share

Gmail Facebook Twitter LinkedIn More