Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt.

Audrey Occello, Anne-Marie Dery-Pinna, Michel Riveill

Browse the full ICST paper archive.