Muhammad Rashid, Muhammad Waseem Anwar, Farooque Azam, Muhammad Kashif. Model-based requirements and properties specifications trends for early design verification of embedded systems. In 11th System of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12-16, 2016. pages 1-7, IEEE, 2016. [doi]
Abstract is missing.