Now showing items 1-1 of 1

    • HWsafety toolbox : a tool for modeling safety-related hardware. 

      Silva, Leandro Avila da (2014) [Work completion of graduation]
      The development of embedded systems for safety-critical application domains is on the rise. Since the safety requirements for these systems are high and difficult to integrate in the development process, standards were ...