Holdings: Formal Methods: Foundations and Applications

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

Corporate Author:	SpringerLink (Online service)
Other Authors:	Cavalheiro, Simone. (Editor, http://id.loc.gov/vocabulary/relators/edt), Fiadeiro, José. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Programming and Software Engineering ; 10623
Subjects:	Software engineering. Computers. Computer simulation. Computer system failures. Software Engineering. Theory of Computation. Simulation and Modeling. The Computing Profession. System Performance and Evaluation.
Online Access:	https://doi.org/10.1007/978-3-319-70848-5