Petri nets based proofs of Ada 95 solution for preference control

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 1997, Pages 238-248

  Barkaoui, K ^a   Kaiser, C ^a   Pradat Peyre, J F ^a  

^a Bioinformatique et Chimie Moléculaire   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; DATA ACQUISITION; PETRI NETS; SECURITY OF DATA; THEOREM PROVING;

COLORED PETRI NETS; PREFERENCE CONTROL; REACTIVE AUTOMATON;

ADA (PROGRAMMING LANGUAGE);

EID: 0031338378     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)