A Two-Level Approach for Modeling and Verification of Telecommunication Systems

Author(s):  
Dmitry Beloglazov ◽  
Valery Nepomniaschy
2018 ◽  
Vol 138 (8) ◽  
pp. 699-705
Author(s):  
Tomoki Kawamura ◽  
Keiichi Takeuchi ◽  
Daisuke Yamaguchi

2018 ◽  
Vol 6 (87) ◽  
pp. 55-65
Author(s):  
A. N. Shvetsov ◽  
S. V. Dianov ◽  
A. A. Sukonshchikov

Sign in / Sign up

Export Citation Format

Share Document