An Optimization Approach for Effective Formalized fUML Model Checking.

Islam Abdelhalim, Steve A. Schneider, Helen Treharne

Browse the full SEFM paper archive.