Open AccessTools of Integrated Technology for Analysis and Verification of Telecom Application Specs
Author(s) -
Igor S. Anureev,
Сергей Николаевич Баранов,
Дмитрий Михайлович Белоглазов,
Павел Дробинцев,
Александр Валентинович Колчин,
Всеволод Павлович Котляров,
Александр Адольфович Летичевский,
Александр Александрович Летичевский,
В. А. Непомнящий,
Igor Nikiforov,
Степан Валериевич Потиенко,
Лев Викторович Прийма,
Борис Викторович Тютин,
Евгений Михайлович Бодин
Publication year - 2014
Publication title -
trudy spiiran
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 9
eISSN - 2078-9599
pISSN - 2078-9181
DOI - 10.15622/sp.26.22
Subject(s) - executable , computer science , implementation , test (biology) , programming language , test case , software engineering , paleontology , regression analysis , machine learning , biology