Вы здесь

Hanmer R. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Systematic Software Testing Using VeriSoft - An Analysis of the 4ESS Heart-Beat Monitor 1998 Godefroid P., Hanmer R. S., Jagadeesan L. J. Bell Labs Technical J. 01.08.1998
СТ Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft 1998 Godefroid P., Hanmer R. S., Jagadeesan L. J. Software Engineering Notes 30.07.1998