A Graph Transformation Approach for Testing Timed Systems

Hiba Hachichi, Ilham Kitouni, Kenza Bouaroudj, Djamel-Eddine Saïdouni. A Graph Transformation Approach for Testing Timed Systems. In Tomas Skersys, Rimantas Butleris, Rita Butkiene, editors, Information and Software Technologies - 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings. Volume 319 of Communications in Computer and Information Science, pages 123-137, Springer, 2012. [doi]

Authors

Hiba Hachichi

This author has not been identified. Look up 'Hiba Hachichi' in Google

Ilham Kitouni

This author has not been identified. Look up 'Ilham Kitouni' in Google

Kenza Bouaroudj

This author has not been identified. Look up 'Kenza Bouaroudj' in Google

Djamel-Eddine Saïdouni

This author has not been identified. Look up 'Djamel-Eddine Saïdouni' in Google