ارائه یک روش صوری برای مدلسازی و راستی آزمایی سیستم های گردش کار زمانی
نویسنده:
کلیدواژه(گان): گردش کار,راستی آزمایی,روش صوری,مدلسازی,آتاماتای زمانی
کالکشن
:
-
آمار بازدید
ارائه یک روش صوری برای مدلسازی و راستی آزمایی سیستم های گردش کار زمانی
Show full item record
| contributor author | افسون, سلطانی | |
| date accessioned | 2020-04-12T00:20:58Z | |
| date available | 2020-04-12T00:20:58Z | |
| identifier other | HTa17lg_E69eKZ5qeultHVQJ5egOBxz5Oemhu7VNJYQ5sgt6h3.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/2461506 | |
| format | general | |
| language | Farsi | |
| title | ارائه یک روش صوری برای مدلسازی و راستی آزمایی سیستم های گردش کار زمانی | |
| type | Conference Paper | |
| contenttype | Fulltext | |
| identifier padid | 14462079 | |
| subject keywords | گردش کار | |
| subject keywords | راستی آزمایی | |
| subject keywords | روش صوری | |
| subject keywords | مدلسازی | |
| subject keywords | آتاماتای زمانی | |
| coverage | Academic | |
| filesize | 1183204 | |
| citations | 4 | |
| identifier link | https://www.civilica.com/Paper-COMPUTER01-COMPUTER01_041.html | |
| conference title | National Conference on Computer Science and Engineering |