Automated Model-based Test Generation for Timed Systems. An overview about models, specification languages and test generation approaches considering time constraintes

Automated Model-based Test Generation for Timed Systems. An overview about models, specification languages and test generation approaches considering time constraintes

Elisangela Vieira

     

бумажная книга



Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-8383-5584-9
Объём: 200 страниц
Масса: 325 г
Размеры(В x Ш x Т), см: 23 x 16 x 2

Каталог