A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lasbahani Abdellatif, Mostafa Chhiba, A. Tabyaoui, Oussama Mjihil. A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration. In Jamal Zbitou, Setti Larbi, El Mokhtar En-Naimi, editors, Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems, ICCWCS'17, Larache, Morocco, November 14-16, 2017. ACM, 2017. [doi]

This author has not been identified. Look up 'Lasbahani Abdellatif' in GoogleThis author has not been identified. Look up 'Mostafa Chhiba' in GoogleThis author has not been identified. Look up 'A. Tabyaoui' in GoogleThis author has not been identified. Look up 'Oussama Mjihil' in Google

runs on WebDSL