Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
题名:
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
ISBN:
9783030030445
版:
1st ed. 2018.
PRODUCTION_INFO:
Cham : Springer International Publishing : Imprint: Springer, 2018.
物理描述:
X, 271 p. 52 illus. online resource.
系列:
Programming and Software Engineering, 11254
内容:
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.
附加团体著者:
语言:
英文