Formal specification of a particular banking domain with RAISE specification language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohammad Reza Nami, Abbas Malekpour. Formal specification of a particular banking domain with RAISE specification language. In Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco. pages 695-699, IEEE, 2008. [doi]

This author has not been identified. Look up 'Mohammad Reza Nami' in GoogleThis author has not been identified. Look up 'Abbas Malekpour' in Google

runs on WebDSL