Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.

Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne

Browse the full ICFEM paper archive.