Acte de conférence, colloque et atelier

From Scenarios to Test Implementations via Promela

Hallal, H., Alikacem, E., Ulrich, A. et Boroday, S. "From Scenarios to Test Implementations via Promela" dans 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10). Natal, Brazil, du 8 au 10 novembre 2010