Now showing items 1-1 of 1

    • Model based design code generator effects on codes reliability 

      Tansini, Lucas Augusto (2021) [Work completion of graduation]
      Modern embedded safety-critical applications are utilizing tools to help the software development deal with safety-critical guidelines. Simulink and Scade are examples of these tools, often used to design flight control, ...