At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

техническая литература

Industrial Use of Formal Methods. Formal Verification

Safety Management of Software-based Equipment

Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method

Static Analysis of Software. The Abstract Interpretation

Formal Methods. Industrial Use from Model to the Code

Safety of Computer Architectures

CENELEC 50128 and IEC 62279 Standards

современная русская литература

современные любовные романы

современная зарубежная литература

книги о приключениях

учебники и пособия для вузов

стихи и поэзия

русская классика

мистика

любовное фэнтези

биографии и мемуары

современные детективы

короткие любовные романы

сказки

попаданцы

литература 19 века

научная фантастика

саморазвитие / личностный рост

триллеры

публицистика

зарубежная классика

В книге представлен подробный астрологический прогноз на каждый день для представителей солнечного знака Водолей. Прогноз составлен астрологом с более чем 20-летним опытом и подойдет профессионалам и любителям - всем будет верным помощником в ежедневных делах. Отличительная особенность прогноза - ежедневный расчет информации про Луну в знаках зодиака, периоды Луны без курса, ретроградность, ингрессии планет в новые знаки. Взяв Солнце, Луну и планеты в помощники, вы сможете наполнить вашу жизнь радостью и счастьем, избежать ненужных стрессов и обрести уверенность в себе.

практическая эзотерика

спиритизм / пророчества / предсказания

эзотерика / оккультизм

Водолей. Гороскоп на каждый день. 2025 год

Однажды мальчик по имени Дима остался дома один. И тут произошло нечто неожиданное.

боевая фантастика

героическая фантастика

детективная фантастика

Zerendo и орден белого дракона

Древнее существо ждёт воскрешения. Маленькая девочка и её верный друг черно-бурый лис ведут поиски этого древнего зла. Чтобы навсегда избавить от него родную землю.

ужасы

историческое фэнтези

Марун

Продолжение истории Леры и Даниила. Они были лучшими друзьями, их отношениями близким нет предела.

общая психология

пьесы и драматургия

Асутару но Кису

Данное произведение является фантазией Автора и не более того. Читая его, представьте, что вы читаете взрослую сказку.
Всё равно большинство не поймут, но тот, кто ищет ответы о людях, вселенной, Боге и смысле жизни, а также о внутреннем мире человека. Рекомендуется к прочтению! Тут есть ответы на многие вопросы, но у прочитавших данное творение, может появиться много вопросов!

современные религиозные течения

духовная литература

Кровь Адама

Книга посвящена зрелым женщинам, с которыми случилась незапланированная беременность, а также всем тем, кто, несмотря на свой возраст, всё ещё мечтает стать мамой.
Расскажу о том, как по-разному можно прожить этот незабываемый период.
Все персонажи являются вымышленными, и любое совпадение с реально живущими или жившими людьми случайно.

здоровье

Такая разная поздняя беременность

В книге описывается жизнь и работа главного героя в московском рекламном агентстве. Он сталкивается с трудностями и неудачами в своей карьере, а также с неожиданными предложениями от своего начальника, которые могут кардинально изменить его жизнь. Герой оказывается в центре мира рекламы, где деньги текут широкими реками, а правила игры меняются ежедневно. Он должен найти свой путь в этой индустрии, полной интриг, конкуренции и неожиданных поворотов. Книга погружает читателя в атмосферу Москвы середины девяностых, где западные компании только начинают осваивать российский рынок, а рекламные агентства становятся эпицентрами новой медиаиндустрии.

любовь и отношения

Все под контролем

Полная версия

Industrial Use of Formal Methods. Formal Verification

Другие книги автора