Syndetics omslagsbild
Bild från Syndetics

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.

Medverkande: Materialtyp: TextSerie: Utgivningsuppgift: Cham : Springer International Publishing : Imprint: Springer, 2018Utgåva: 1st ed. 2018Beskrivning: X, 271 p. 52 illus. online resourceInnehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9783030030445
Ämnen: DDK-klassifikation:
  • 005.1 23
Onlineresurser:
Innehåll:
Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
Sammanfattning: Chapter 2TeSSLa: Temporal Stream-Based Specification Language3 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Inga fysiska exemplar för denna post

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

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

Licensed e-book