Environment-Model Based Testing of Control Systems: Case Studies.

Erwan Jahier, Simplice Djoko Djoko, Chaouki Maiza, Eric Lafont

Browse the full TACAS paper archive.