Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings / [electronic resource] :
edited by Simone Cavalheiro, José Fiadeiro.
- 1st ed. 2017.
- X, 305 p. 101 illus. online resource.
- Programming and Software Engineering, 10623 2945-9168 ; .
- Programming and Software Engineering, 10623 .
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.
9783319708485
10.1007/978-3-319-70848-5 doi
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 Evaluation.
QA76.758
005.1
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.
9783319708485
10.1007/978-3-319-70848-5 doi
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 Evaluation.
QA76.758
005.1