Вы здесь

Главная

встроенная система

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

Verification and Evaluation of Computer and Communication Systems: Proc./14th International Conference, VECoS 2020, Xi'an, China, October 2020
Verification, Model Checking, and Abstract Interpretation: Proc./15th International Conference, VMCAI 2014, San Diego,CA,USA, January 2014
Verification, Model Checking, and Abstract Interpretation: Proc./21st International Conference, VMCAI 2020, New Orleans,LA,USA, January 2020
Verification, Model Checking, and Abstract Interpretation: Proc./22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 2021
Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/10th International Conference, VSTTE 2018, Oxford, UK, July 2018
Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/11th International Conference, VSTTE 2019, New York City, NY,USA, July 2019
Visual Privacy Management: Design and Applications of a Privacy-Enabling Platform
Wireless Sensor Networks: Proc./10th European Conference, EWSN 2013, Ghent, Belgium, February 2012
Wireless Sensor Networks: Proc./11th European Conference, EWSN 2014, Oxford, UK, February 2014
Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем
АДА - язык встроенных систем
Встроенные проблемно-ориентированные системы
Денотативно-объектная модель вычислений для встроенных систем
Применение UniTesK к тестированию встроенных систем
Создание и исследование принципов и методов анализа и проектирования программного обеспечения встроенных систем АСУ ТП
Технология программирования встроенных систем