Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /
Material type: TextSeries: Programming and Software Engineering ; 10623Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: X, 305 p. 101 illus. online resourceContent type:- text
- computer
- online resource
- 9783319708485
- 005.1 23
- QA76.758
Contents:
In:
Springer Nature eBookSummary: The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.
No physical items for this record
Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
There are no comments on this title.