Safety of Computer Architectures
Автор: Jean-Louis Boulanger
Тип: PDF Книга
Язык: Английский
Просмотры: 277
Отзывы: 0
Industrial Use of Formal Methods. Formal Verification
Автор: Jean-Louis Boulanger
Жанр: техническая литература
Тип: PDF Книга
Язык: Английский
Просмотры: 248
Отзывы: 0
Formal Methods. Industrial Use from Model to the Code
Автор: Jean-Louis Boulanger
Жанр: техническая литература
Тип: PDF Книга
Язык: Английский
Просмотры: 257
Отзывы: 0
Static Analysis of Software. The Abstract Interpretation
Автор: Jean-Louis Boulanger
Тип: PDF Книга
Язык: Английский
Просмотры: 297
Отзывы: 0
CENELEC 50128 and IEC 62279 Standards
Автор: Jean-Louis Boulanger
Жанр: техническая литература
Тип: PDF Книга
Язык: Английский
Просмотры: 161
Отзывы: 0
Formal Methods Applied to Industrial Complex Systems
Автор: Jean-Louis Boulanger
Тип: PDF Книга
Язык: Английский
Просмотры: 217
Отзывы: 0
Safety Management of Software-based Equipment
Автор: Jean-Louis Boulanger
Жанр: техническая литература
Тип: PDF Книга
Язык: Английский
Просмотры: 175
Отзывы: 0
Formal Methods Applied to Industrial Complex Systems....
Автор: Jean-Louis Boulanger
Тип: PDF Книга
Язык: Английский
Просмотры: 215
Отзывы: 0