Construction of validation modules based on reference functional models in a standalone verification of communication subsystem
Trudy Instituta sistemnogo programmirovaniâ RAN/Trudy Instituta sistemnogo programmirovaniâ