MPG.eBooks - Table of Contents: Formal Methods: Foundations and Applications

Cover Image

Read Now

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

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

Bibliographic Details
Other Authors:	Massoni, Tiago (Editor), Mousavi, Mohammad Reza (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2018, 2018
Edition:	1st ed. 2018
Series:	Programming and Software Engineering
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Programming Techniques Computer Science Computer Programming Algorithms Formal Languages And Automata Theory Machine Theory
Online Access:	https://doi.org/10.1007/978-3-030-03044-5?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Table of Contents:

Techniques and methodologies
Specification and modeling languages
Theoretical foundations
Verification and validation
Experience reports regarding teaching formal methods
Applications