Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
-
- US$54.99
-
- US$54.99
출판사 설명
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
장르
컴퓨터 및 인터넷
출시일
2017년
11월 17일
언어
EN
영어
길이
315
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
6.1
MB