A contract-based installation methodology for safety-related automotive systems
A Contract-Based Installation Methodology for Safety-Related Automotive Systems
Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems
Model-based toolchain for the efficient development of safety-relevant automotive embedded systems