Вы здесь

Главная

коммуникационный

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

Advances in Neural Networks - ISNN 2006: Part III: Proc./Third International Symposium on Neural Networks. Chengdu, China, May/June 2006
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols
Autonomic and Trusted Computing: Proc./4th International Conference, ATC 2007. Hong Kong, China, July 2007
Communication Technologies for Vehicles: Proc./10th International Workshop Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 2016
Community Computing and Support Systems /Sotial Interaction in Networked Communities
Computational Science and Its Applications - ICCSA 2006: Part III: Proc./International Conference. Glasgow, UK, May 2006
Computer Performance Engineering: Proc./5th European Performance Engineering Workshop, EPEW 2008. Palma de Mallorca, Spain, September 2008
Dependable and Adaptable Networks and Services: Proc./13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007. Enschede, The Netherlands, July 2007
Experimental Algorithms: Proc./9th International Symposium, SEA 2010, Ischia Islend, Naples, Italy, May 2010
Innovative Internet Community Systems: Revised Papers/4th International Workshop, IICS 2004. Guadalajara, Mexico, June 2004
Language and Automata Theory and Applications: Proc./5th International Conference, LATA 2011, Tarragona, Spain, May 2011
Languages and Compilers of Parallel Computing: Revised Selected Papers/24th International Workshop, LCPC 2011, Fort Colins,CO,USA, September 2011
NETWORKING 2006: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems: Proc./5th International IFIP-TC6 Networking Conference. Coimbra, Portugal, May 2006
Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014
Smart Spaces and Next Generation Wired/Wireless Networking: Proc./11th Int. Conf, NEW2AN 2011, and 4th Conf, ruSMART 2011, St.Petersburg, Russia, August 2011
Structural Information and Communication Complexity: Post-Proc./22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 2015
Structural Information and Communication Complexity: Revised Selected Papers/25th International Colloquium, SIRICCO 2018, Ma'ale HaHamisha, Israel, June 2018
Testing of Communicating Systems: Proc./18th IFIP TC6/WG6.1 International Conference, TestCom 2006. New York, NY, USA, May 2006
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри
Верификация раскрашенных сетей Петри методом проверки моделей
Дедуктивная верификация протокола скользя его окна
Коммуникационный сервер на базе Windows NT
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня
Оценка минимальных требований к аппаратуре и топологии при построении высокоскоростных коммуникационных сетей для суперкомпьютеров с об ей памятью
Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов
Распределенная версия системы моделирования и верификации коммуникационных протоколов с помо ью сетей Петри высокого уровня
Растущие коммутационно-операторные схемы
Языковые модели коммуникационных процессов (Предварительная публикация)