Melissa Kova

According to our database, Melissa Kova authored at least 2 papers between 2009 and 2013.

Collaborative distances:

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

2013

Symbolic model checking composite Web services using operational and control behaviors.

Jamal Bentahar, Hamdi Yahyaoui, Melissa Kova, Zakaria Maamar

Expert Syst. Appl., 2013

2009

A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV.

Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009