Open AccessTools of Integrated Technology for Analysis and Verification of Telecom Application Specs
Author(s) -
Igor Anureev,
С. В. Баранов,
Dmitry Beloglazov,
Pavel Drobintsev,
Alexander Kolchin,
Vsevolod Kotlyarov,
A. A. Letichevsky,
Oleksandr Letychevskyi,
V. A. Nepomniaschy,
Igor Nikiforov,
Stepan Potiyenko,
Lev Priima,
Boris Tyutin,
Evgeny V. Bodin
Publication year - 2014
Publication title -
spiiras proceedings
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom