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