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]
@inproceedings{RashidAAK16,
title = {Model-based requirements and properties specifications trends for early design verification of embedded systems},
author = {Muhammad Rashid and Muhammad Waseem Anwar and Farooque Azam and Muhammad Kashif},
year = {2016},
doi = {10.1109/SYSOSE.2016.7542917},
url = {http://dx.doi.org/10.1109/SYSOSE.2016.7542917},
researchr = {https://researchr.org/publication/RashidAAK16},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {11th System of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12-16, 2016},
publisher = {IEEE},
isbn = {978-1-4673-8727-9},
}