This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). The authors cover the following topics: an example of use of SCADE, constraint solving in B, validation of Petri Nets-based automated rail safety, data validation, etc.


программы

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

Safety Management of Software-based Equipment

Formal Methods Applied to Industrial Complex Systems

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 века

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

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

триллеры

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

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

Роман-путешествие, роман-шок, роман-бомба: взрывает мозг и основы бытия.

Паломничество с оруженосцем


События происходят в XXIII веке на гигантской космической станции «Первоград» (Primourbem), которая изначально создавалась как город-курорт в безвоздушном пространстве. 
 	Космический город, экзотический курорт в прошлом, переживает не лучшие дни. После глобальной катастрофы на Земле жители «Первограда» оказались предоставлены сами себе, утратив связь с родной планетой. Кризис земной цивилизации оставил космический город брошенным на произвол судьбы, а все люди, населяющие мега-станцию, вынуждены бороться за жизнь в жёстких условиях ограниченных ресурсов и несправедливой социальной иерархии. Архаическое общества соседствует с недостатком пропитания. Социальная структура вмещает в себя мультисемьи с главами семей-женщинами, военизированные гильдии, секты воинственных куртизанок и таинственных жителей Дна – углобоков. 
 	 
История состоит из трёх книги: «Скорые перемены»; «Конфликт интересов» и «Земли необетованные»


космическая фантастика

социальная фантастика

Первоградские хроники

Ева посмотрела в его глаза и увидела не зверя, а душу, которая так же искала любви, как и она. Она поняла, что их связь — это не что-то проклятое, а дар, который они должны защитить.

— Я выбираю тебя, — произнесла она, и их губы встретились в нежном поцелуе.

С этого момента они стали неразлучны. Они жили вопреки страхам и недопониманию окружающих, создавая свой мир, где любовь могла победить все преграды. Ночная тишина становилась их свидетелем, а звезды — хранителями их тайны.

Сверхъестественное влечение

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ужасы

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

Марун

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

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

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