Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
-
- 54,99 €
-
- 54,99 €
Beschreibung des Verlags
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
GENRE
Computer und Internet
ERSCHIENEN
2017
17. November
SPRACHE
EN
Englisch
UMFANG
315
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
6,1
MB