Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications

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

More Books Like This

Integrated Formal Methods Integrated Formal Methods
2019
Integrated Formal Methods Integrated Formal Methods
2017
Formal Methods and Software Engineering Formal Methods and Software Engineering
2016
Software Engineering and Formal Methods Software Engineering and Formal Methods
2019
Integrated Formal Methods Integrated Formal Methods
2018
Formal Methods Formal Methods
2018