Validation of Scenario-Based Business Requirements with Coloured Petri Nets.

scar R. Ribeiro, Joo M. Fernandes

Browse the full ICSEA paper archive.