Custom cover image
Custom cover image

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / edited by Tiago Massoni, Mohammad Reza Mousavi

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Programming and Software Engineering ; 11254 | SpringerLink BücherPublisher: Cham : Springer International Publishing, 2018Description: Online-Ressource (X, 271 p. 52 illus, online resource)ISBN:
  • 9783030030445
Subject(s): Additional physical formats: 9783030030438 | 9783030030452 | Erscheint auch als: 978-3-030-03044-5 Druck-Ausgabe | Printed edition: 9783030030438 | Printed edition: 9783030030452 DDC classification:
  • 005.1
MSC: MSC: *68-06 | 68Qxx | 00B25LOC classification:
  • QA76.758
DOI: DOI: 10.1007/978-3-030-03044-5Online resources: Summary: Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.comSummary: Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- ApplicationsPPN: PPN: 1041330073Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record

Reproduktion. (Springer eBook Collection. Computer Science)

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT