Вы здесь

Главная

телекоммуникационный

Связанные издания:

Deductive Approach to Verification of Telecommunication Systems Written in C
Digital Human Modeling, Part I: Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design: Proc./8th International Conference, DHM 2017 Held as Part of HCI International 2017, Vancouver, BC, Canada, July 2017
Human Aspects of IT for the Aged Population, Part I: Aging, Design and User Experience: Proc./3rd International Conference, ITAP 2017 Held as Part of HCI International 2017, Vancouver,BC, Canada, July 2017
Imaging for Patient-Customized Simulations and Systems for Point-of-Care Ultrasound: Proc./Int.WSp, BIVPCS 2017 and POCUS 2017 Held in Conjunction with MICCAI 2017, Quebec City, QC,Canada, September 2017
Internet of Things, Smart Spaces, and Next Generation Networks and Systems: Proc./16th International Conference, NEW2AN 2016 and 9th Conference, ruSMART 2016, St.Petersburg, Russia, September 2016
Telecommunication Economics: Selected Results of the COST Action IS0605 Econ@Tel
Virtual, Augmented and Mixed Reality: Proc./9th International Conference, VAMR 2017 Held as Part of HCI International 2017, Vancouver,BC,Canada, July 2017
Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри
Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
Методы анализа вероятностных характеристик модели разделения ресурсов мультисервисной телекоммуникационной сети