Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
-
- 54٫99 US$
-
- 54٫99 US$
وصف الناشر
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٧
١٧ نوفمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٣١٥
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٦٫١
م.ب.