بررسی رفتاری ترکیب وب سرویس ها با روشهای فرمال
| contributor author | فولادوند, حسام | |
| contributor author | موسوی, سیدعبدالمجید | |
| contributor author | رافع, وحید | |
| date accessioned | 2020-04-11T15:57:00Z | |
| date available | 2020-04-11T15:57:00Z | |
| identifier other | tmKFKZsj0I9GyBXlByP9yfKKsU9GeubeGiWlXo5HlKsOcriK6T.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/2354421?show=full | |
| format | general | |
| language | Farsi | |
| title | بررسی رفتاری ترکیب وب سرویس ها با روشهای فرمال | |
| type | Conference Paper | |
| contenttype | Fulltext | |
| identifier padid | 5405060 | |
| subject keywords | رفتار وب سرويس ها | |
| subject keywords | تركيب وب سرويس ها | |
| subject keywords | روشهاي فرمالف درستي يابي | |
| coverage | Academic | |
| filesize | 226125 | |
| citations | 15 | |
| identifier link | http://www.civilica.com/Paper-NCSCIT02-NCSCIT02_106.html | |
| conference title | دومین کنفرانس ملی محاسبات نرم و فن آوری اطلاعات |