- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Communicating Embedded Systems; John Wiley & Sons Limited
11741 р.
- Издатель: John Wiley & Sons Limited
- ISBN: 9781118600122
- Книги: Программирование
- ID:6508364
Где купить (1)
Цена от 11741 р. до 11741 р. в 1 магазинах
Магазин | Цена | Наличие |
---|---|---|
Предложения банков
Компания | Предложение |
---|---|
Описание
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Claude Jard |
Издатель | John Wiley & Sons Limited |
ISBN | 978-1-118-60012-2 |
Отзывы (0)
Добавить отзыв
Книги: Информационные технологии, Программирование - издательство "John Wiley & Sons Limited"
Категория 9392 р. - 14089 р.