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.
Material type:
TextSeries: Programming and Software Engineering ; 10623 | Lecture Notes in Computer Science ; 10623Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: X, 305 p. 101 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783319708485Subject(s): Software engineering | Computers | Computer simulation | Computer system failures | Software Engineering | Theory of Computation | Simulation and Modeling | The Computing Profession | System Performance and EvaluationAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online 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.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK14422 |
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.