Validation of Reactive Software from Scenario-Based Models.

scar R. Ribeiro, Joo M. Fernandes

Browse the full QUATIC paper archive.