Essays about: "Rohit Agrawal"

Found 1 essay containing the words Rohit Agrawal.

  1. 1. Semi-Automated Formalization and Verification of Automotive Requirements using Simulink Design Verifier

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : Rohit Agrawal; [2015]
    Keywords : ;

    Abstract : The complexity of embedded software in the automotive domain is ever-increasing due to increase in the no. of features aimed at providing more advanced solutions. This has greatly favored the incorporation of Model Based Design workflow in the software development lifecycle to handle complexities in different development phases. READ MORE