Mirna Naous

According to our database, Mirna Naous authored at least 3 papers between 2013 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Assuring consistency in mixed models.

Ramzi A. Haraty, Mirna Naous, Azzam Mourad

J. Comput. Sci., 2014

2013

Role-Based Access Control modeling and validation.

Ramzi A. Haraty, Mirna Naous

Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

Modeling and Validating the Clinical Information Systems Policy Using Alloy.

Ramzi A. Haraty, Mirna Naous

Proceedings of the Health Information Science - Second International Conference, 2013