Media Summary: This video is the tutorial "Using B to program the CLEARSY Safety Platform" given at the occasion of the ABZ 2021 conference ... Demonstration of the path from B specification to C code generation. In this deep dive, we explore Atelier, a robust managed application environment designed to abstract the inherent complexity of ...
Atelierb 02 Create Project - Detailed Analysis & Overview
This video is the tutorial "Using B to program the CLEARSY Safety Platform" given at the occasion of the ABZ 2021 conference ... Demonstration of the path from B specification to C code generation. In this deep dive, we explore Atelier, a robust managed application environment designed to abstract the inherent complexity of ... [00:00] - Introduction [00:17] - Assetmax [01:26] - Banana.ch [
