%0 Conference Paper %1 conf/iccsa/AliRA15 %A Ali, Sajjad %A Rahim, Muhammad Abdul Basit Ur %A Arif, Fahim %B ICCSA (Short Papers/poster papers/PhD student showcase works) %D 2015 %I IEEE Computer Society %K dblp %P 62-66 %T Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM. %U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2015-s.html#AliRA15 %@ 978-1-4673-7367-8

@inproceedings{conf/iccsa/AliRA15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ali, Sajjad and Rahim, Muhammad Abdul Basit Ur and Arif, Fahim}, biburl = {https://www.bibsonomy.org/bibtex/2562189db52e1ae4fa4be1f41951dbf9b/dblp}, booktitle = {ICCSA (Short Papers/poster papers/PhD student showcase works)}, crossref = {conf/iccsa/2015-s}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCSA.2015.11}, interhash = {981addcf5b00242912aa80d1d367edfd}, intrahash = {562189db52e1ae4fa4be1f41951dbf9b}, isbn = {978-1-4673-7367-8}, keywords = {dblp}, pages = {62-66}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:56:13.000+0200}, title = {Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM.}, url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2015-s.html#AliRA15}, year = 2015 }