Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings / Simone Cavalheiro, José Fiadeiro (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 10623. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham, Switzerland : Springer, 2017Description: 1 online resource (x, 305 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783319708485
- 3319708481
- SBMF 2017
- Formal methods (Computer science) -- Congresses
- Méthodes formelles (Informatique) -- Congrès
- simulation
- Computer science
- Computer modelling & simulation
- Information technology: general issues
- Systems analysis & design
- Software Engineering
- Computers -- Computer Science
- Computers -- Computer Simulation
- Computers -- General
- Computers -- Hardware -- Handheld Devices
- Computers -- Software Development & Engineering -- General
- Formal methods (Computer science)
- 004.01/51 23
- QA76.9.F67
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed November 29, 2017).
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.