Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings / edited by Tiago Massoni, Mohammad Reza Mousavi.
Contributor(s): Massoni, Tiago [editor.]
| Mousavi, Mohammad Reza [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 11254Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018.Description: X, 271 p. 52 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030030445.Subject(s): Software engineering | Compilers (Computer programs) | Computer programming | Computer science | Machine theory | Algorithms | Software Engineering | Compilers and Interpreters | Programming Techniques | Computer Science Logic and Foundations of Programming | Formal Languages and Automata Theory | AlgorithmsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
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 for this item.