Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
Material type: TextSeries: Programming and Software Engineering ; 11254Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018Description: X, 271 p. 52 illus. online resourceContent type:- text
- computer
- online resource
- 9783030030445
- 005.1 23
- QA76.758
Contents:
In:
Springer Nature eBookSummary: Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
No physical items for this record
Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
There are no comments on this title.