English
- استرجاع مجاني وسهل
- أفضل العروض
Motifs Formels D'architectures Pour La Surete De Fonctionnement paperback - 06 Jul 2010
الآن:
264.25 د.إ.شامل ضريبة القيمة المضافة
احصل عليه خلال 14 يناير
ادفع على 4 دفعات بدون فوائد بقيمة ٦٦٫٠٦ د.إ.اعرف المزيد
قسمها على 4 دفعات ب ٦٦٫٠٦ د.إ. بدون فوائد أو رسوم تأخير.اعرف المزيد
احصل على 5% رصيد مسترجع باستخدام بطاقة بنك المشرق نون الائتمانية. اشترك الآن. قدّم الحين
1
توصيل مجاني لنقطة نون ومراكز الاستلام
معرفة المزيد
إرجاع سهل لكل المنتجات في هذا العرض.
شريك لنون منذ
2+ سنينالمواصفات
| الناشر | European University Editions |
| رقم الكتاب المعياري الدولي 13 | 9786131511707 |
| رقم الكتاب المعياري الدولي 10 | 6131511705 |
| العنوان الفرعي للكتاب | Introduction Aux Safety Patterns |
| وصف الكتاب | This book provides methods for modeling and evaluating the security architecture of complex embedded systems. These methods are based on general patterns of system architectures corresponding to security elements. The principle is that of "design patterns" developed in software engineering. These patterns can be formalized with the help of formal languages like AltaRica. In our case, the patterns correspond to abstractions of concrete architectures and therefore require a more declarative modeling. The studied properties being generally dynamic, we chose to use a temporal logic to express them. The patterns therefore consist of an AltaRica part and a part of properties. This type of mixed modeling has several advantages, especially in the upstream design of system architectures where it is possible to manipulate both clearly defined parts of a system and specifications. It also aims to facilitate the allocation of requirements for architecture validation and prototyping. |
| تاريخ النشر | 06 Jul 2010 |
| عدد الصفحات | 160 |
Motifs Formels D'architectures Pour La Surete De Fonctionnement paperback - 06 Jul 2010
تمت الإضافة لعربة التسوق
مجموع السلة 264.25 د.إ.
