Open AccessAutomated verificationcomplex for mobile communication systems
Author(s) -
М. В. Добролюбова,
M Filippova,
Dievgod,
Maksym V. Kovalenko
Publication year - 2019
Publication title -
mehanika giroskopičeskih sistem/mehanìka gìroskopìčnih sistem
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2519-2272
pISSN - 0203-3771
DOI - 10.20535/0203-3771382019203009
Subject(s) - correctness , computer science , conformity , mobile telephony , telecommunications , mobile radio , programming language , political science , law