Claude Jard - Communicating Embedded Systems
Жанры: | Жанр к этой книге еще не добавлен |
---|
Случайная цитата из книги
К этой книге еще не добавлены цитаты Добавить цитатуРекомендуемый контент
Описание книги «Communicating Embedded Systems»
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.
С книгой «Communicating Embedded Systems» читают
Рецензии на книгу «Communicating Embedded Systems»
Рецензий еще нет. Вы можете стать первым, кто напишет рецензию на книгу «Communicating Embedded Systems»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы оставить рецензию. Регистрация займет не более 15 секунд.
Популярные списки книг
Эти книги могут быть интересны:
- Возвращение
- Адмирал Ушаков. Флотоводец и святой
- Heatherley
- Как стать популярным блогером в Instagram?
- Аннушка
- На смерть Поэта. Том 1. Маяковский
- Книга Бытия. Общая история происхождения
- Благими намерениями
- Управление ключевыми клиентами. Эффективное сотрудничество, стратегическое партнерство и рост продаж
- Качалов в гостях у Толстого
Отзывы на книгу «Communicating Embedded Systems»
Отзывов еще нет. Станьте первым, кто напишет отзыв на книгу «Communicating Embedded Systems»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы написать отзыв. Регистрация займет не более 15 секунд.