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.
Вид матеріалу:
Текст Серія: Programming and Software Engineering ; 10623Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017Видання: 1st ed. 2017Опис: X, 305 p. 101 illus. online resourceТип вмісту: - text
- computer
- online resource
- 9783319708485
- 005.1 23
- QA76.758
Вміст:
У: Springer eBooksЗведення: 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.
ЕКнига
Списки з цим бібзаписом:
Springer Ebooks (till 2020 - Open Access)+(2017 Network Access))
|
Springer Ebooks (2017 Network Access))
Немає реальних примірників для цього запису
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.
Available to subscribing member institutions only. Доступно лише організаціям членам підписки.
Online access from local network of NaUOA.
Online access with authorization at https://link.springer.com/
Онлайн-доступ з локальної мережі НаУОА.
Онлайн доступ з авторизацією на https://link.springer.com/
Немає коментарів для цієї одиниці.
Увійти в обліковий запис для можливості публікувати коментарі.