Lasbahani Abdellatif

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Software Design

Formal Verification

Top Venues

Publications

Lasbahani Abdellatif, Mostafa Chhiba, Oussama Mjihil
Deals with integrating of security specifications during software design phase using MDA approach. ICC (2017)
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. ICCWCS (2017)