Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro.
Contributor(s): Cavalheiro, Simone [editor.]
| Fiadeiro, José [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 10623Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017.Description: X, 305 p. 101 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319708485.Subject(s): Software engineering | Computer science | Computer simulation | Computers | Professions | Electronic digital computers -- Evaluation | Software Engineering | Theory of Computation | Computer Modelling | The Computing Profession | System Performance and EvaluationAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
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 for this item.