Hoppa till sidans huvudinnehåll

Del 14290 i serien Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Häftad, Engelska, 2023

AvAlessandro Cimatti,Laura Titolo

939 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.

Produktinformation

  • Utgivningsdatum2023-09-17
  • Mått155 x 235 x 15 mm
  • Vikt417 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor260
  • FörlagSpringer International Publishing AG
  • ISBN9783031436802

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

NASA Formal Methods

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

Häftad

1 189 kr