Elisangela Vieira

Titel	ISBN-13 (ISBN-10)	Erscheinungsjahr
Automated Model-based Test Generation for Timed Systems: An overview about models, specification languages and test generation approaches considering time constraintes	978-3-8383-5584-9 (3-8383-5584-9)	2010