A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). 


программы

Formal Methods Applied to Industrial Complex Systems

Safety Management of Software-based Equipment

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

Static Analysis of Software. The Abstract Interpretation

Industrial Use of Formal Methods. Formal Verification

Formal Methods. Industrial Use from Model to the Code

Safety of Computer Architectures

CENELEC 50128 and IEC 62279 Standards

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

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

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

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

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

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

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

мистика

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

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

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

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

сказки

попаданцы

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

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

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

триллеры

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

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

После гибели брата Лиля теряет вкус к жизни. Внезапно к ней является удивительный гость и делает предложение, от которого она не может отказаться. Лиля отправляется "в очень особенное путешествие", встречает персонажей, которых не могла и вообразить, и находит ответы на вопросы, которыми раньше не задавалась. 
История вдохновлена перуанским шаманизмом традиции шипибо.

фэнтези про драконов

Франциск Сананго

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

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

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

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

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

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

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

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

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

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

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

ужасы

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

Марун

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

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

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

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

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

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

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

Кровь Адама

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

здоровье

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

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

Formal Methods Applied to Industrial Complex Systems

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