Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
-
- $54.99
-
- $54.99
Publisher Description
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
GENRE
Computers & Internet
RELEASED
2017
November 17
LANGUAGE
EN
English
LENGTH
315
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
6.1
MB