Petri nets based proofs of Ada 95 solution for preference control.

Kamel Barkaoui, Claude Kaiser, Jean-Franois Pradat-Peyre

Browse the full APSEC paper archive.