ترجمه فارسی عنوان مقاله
توصیف معماری های استقرار صحیح بر اساس یک روش مدل سازی چند بعدی در باره گرافیک
عنوان انگلیسی
Describing correct deployment architectures based on a bigraphical multi-scale modeling approach
| کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
|---|---|---|
| 144523 | 2017 | 12 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : Computers & Electrical Engineering, Volume 63, October 2017, Pages 277-288
ترجمه کلمات کلیدی
معماری های راه اندازی، روش های رسمی، بیوگرافی، مدل سازی چند بعدی، درست با طراحی،
کلمات کلیدی انگلیسی
Deployment architectures; Formal methods; Bigraphs; Multi-scale modeling; Correct by design;
پیش نمایش مقاله
