User Context Models - A Framework to Ease Software Formal Verifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amine Raji, Philippe Dhaussy. User Context Models - A Framework to Ease Software Formal Verifications. In Joaquim Filipe, José Cordeiro, editors, ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010. pages 380-383, SciTePress, 2010.

This author has not been identified. Look up 'Amine Raji' in GoogleThis author has not been identified. Look up 'Philippe Dhaussy' in Google

runs on WebDSL