%0 Conference Paper %1 conf/sysose/RashidAAK16 %A Rashid, Muhammad %A Anwar, Muhammad Waseem %A Azam, Farooque %A Kashif, Muhammad %B SoSE %D 2016 %I IEEE %K %P 1-7 %T Model-based requirements and properties specifications trends for early design verification of embedded systems. %U http://dblp.uni-trier.de/db/conf/sysose/sysose2016.html#RashidAAK16 %@ 978-1-4673-8727-9

@inproceedings{conf/sysose/RashidAAK16, added-at = {2023-12-13T02:28:24.000+0100}, author = {Rashid, Muhammad and Anwar, Muhammad Waseem and Azam, Farooque and Kashif, Muhammad}, biburl = {https://www.bibsonomy.org/bibtex/22b5894345db1e5da659cbfe920be00b2/admin}, booktitle = {SoSE}, crossref = {conf/sysose/2016}, ee = {http://dx.doi.org/10.1109/SYSOSE.2016.7542917}, interhash = {7fa545c070bc78d9dd47788c23e62795}, intrahash = {2b5894345db1e5da659cbfe920be00b2}, isbn = {978-1-4673-8727-9}, keywords = {}, pages = {1-7}, publisher = {IEEE}, timestamp = {2023-12-13T02:28:24.000+0100}, title = {Model-based requirements and properties specifications trends for early design verification of embedded systems.}, url = {http://dblp.uni-trier.de/db/conf/sysose/sysose2016.html#RashidAAK16}, year = 2016 }