In close cooperation within the U Bremen Research Alliance (UBRA) and with other partners, the University of Bremen is establishing a data competence …
The goal of the ECXL project is to develop a design and verification platform for RISC-V based systems. The verification platform will allow models on …
In the project KI-SIGS (AI-Space for Intelligent Health Systems), companies, universities and research institutions from Northern Germany are pooling …
In this project a safety component (safety laser scanner) is developed that provides collision avoidance for vehicles in industrial settings using an …
The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan Abstracti …