Model-based requirements and properties specifications trends for early design verification of embedded systems

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]

Authors

Muhammad Rashid

This author has not been identified. Look up 'Muhammad Rashid' in Google

Muhammad Waseem Anwar

This author has not been identified. Look up 'Muhammad Waseem Anwar' in Google

Farooque Azam

This author has not been identified. Look up 'Farooque Azam' in Google

Muhammad Kashif

This author has not been identified. Look up 'Muhammad Kashif' in Google