Формальное моделирование и анализ временных систем: 21-й международный конгресс
- Время доставки: 7-10 дней
- Состояние товара: новый
- Доступное количество: 10
Заказывая «Formal Modeling and Analysis of Timed Systems: 21st International» данный товар из каталога «E-бизнес» вы можете быть уверены, что после оформления заказа, доставки в Украину, вы получите именно то, что заказывали, в оговоренные сроки и европейского качества.
Формальное моделирование и анализ временных систем: 21-я международная конференция FORMATS 2023, Антверпен, Бельгия, 19–21 сентября 2023 г., материалы (конспекты лекций по информатике)
- Автор: Петруччи, Лора
- Издатель: Springer
- Дата выпуска: 29 августа 2023 г.
- Количество страниц: 196
- Размеры: 15,5 x 1,1 x 23.5
- Язык: Английский: Опубликовано; Английский: язык оригинала; Английский
- ISBN: 9783031426254
Эта книга представляет собой рецензируемый материал 21-й Международной конференции по формальному моделированию и анализу временных систем FORMATS 2023, проходившей в Антверпене, Бельгия, в сентябре 2023 года. Девять полных статей, представленных в этой книге, были тщательно проверены и отобраны из 21 обращение. Материалы также содержат один приглашенный доклад в полном объеме. В документах рассматриваются проблемы реального времени при проектировании аппаратного обеспечения, анализе производительности, программном обеспечении реального времени, планировании, семантике и проверке систем реального времени, гибридных и вероятностных систем.