Nicolas Navet — Modeling and Verification of Real-time Systems, краткое содержание
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Чтобы оставить свою оценку, войдите или зарегистрируйтесь
📖 О книге «Modeling and Verification of Real-time Systems»
«Modeling and Verification of Real-time Systems» — произведение автора Nicolas Navet в жанре Прочая образовательная литература . На сайте Книгизм книга доступна для бесплатного скачивания в формате fb2 и для онлайн-чтения полной версии без регистрации.
🏷️ Жанры книги
Произведение «Modeling and Verification of Real-time Systems» относится к следующим жанровым направлениям каталога Книгизм:
👥 Похожие авторы в жанре
Если вам понравилась эта книга, обратите внимание на других популярных авторов в жанре «Прочая образовательная литература»:
❓ Часто задаваемые вопросы
Можно ли скачать книгу «Modeling and Verification of Real-time Systems» бесплатно?
Да, книга доступна для скачивания в формате fb2 без регистрации и без оплаты на сайте Книгизм. Файл сохраняет структуру глав, иллюстрации и метаданные — подходит для FBReader, Cool Reader, AlReader и других читалок на смартфоне или электронной книге.
Можно ли читать книгу «Modeling and Verification of Real-time Systems» онлайн без скачивания?
Да, полная версия произведения автора Nicolas Navet доступна для онлайн-чтения прямо в браузере. Откройте страницу книги, нажмите кнопку «Читать» — текст загрузится с пагинацией, настройкой шрифта, темой оформления и закладкой текущей позиции.
К какому жанру относится «Modeling and Verification of Real-time Systems»?
Книга относится к жанру «Прочая образовательная литература».
📲 Как читать книгу на Книгизм
Книга «Modeling and Verification of Real-time Systems» автора Nicolas Navet доступна на Книгизм бесплатно. Вы можете скачать файл fb2 для дальнейшего чтения в любой читалке (FBReader, Cool Reader, AlReader и других) на смартфоне, планшете или электронной книге. Формат fb2 сохраняет структуру глав, иллюстрации, оглавление и метаданные. Альтернатива — онлайн-чтение полной версии в браузере сразу без скачивания и без регистрации.