Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Tiago Massoni & Mohammad Reza Mousavi
    • $49.99
    • $49.99

Publisher Description

Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

GENRE
Computers & Internet
RELEASED
2018
November 19
LANGUAGE
EN
English
LENGTH
281
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
6.5
MB

More Books Like This

Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
2010
Engineering Theories of Software Intensive Systems Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems
2006