Вы здесь

Rayadurgam S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Auto-generating Test Sequences Using Model Checkers: A Case Study 2004 Heimdahl M.P. E., Rayadurgam S., Visser W., Devaraj G., Gao J. Lecture Notes in Computer Science 11.03.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ NASA Formal Methods: Proc./8th International Symposium, NFM 2016, Minneapolis,MN,USA, June 2016 2016 Lecture Notes in Computer Science
  1. Rayadurgam S.
  2. Tkachuk O.
02.08.2016