Formal Methods for Industrial Critical Systems

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

Häftad, Engelska, 2025

Av Anne Remke, Bernhard Steffen

989 kr

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

Produktinformation

  • Utgivningsdatum2025-08-28
  • Mått155 x 235 x 17 mm
  • Vikt470 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor297
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783032009418

Tillhör följande kategorier

Du kanske också är intresserad av

Distributed Applications and Interoperable Systems

Distributed Applications and Interoperable Systems

Anne Remke, Valerio Schiavoni

739 kr

Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria, Bernhard Steffen

739 kr

Stochastic Model Checking

Stochastic Model Checking

Anne Remke, Mariëlle Stoelinga, Marielle Stoelinga

689 kr

Computer Performance Engineering

Computer Performance Engineering

Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke

739 kr

Correct System Design

Correct System Design

Ernst-Rüdiger Olderog, Bernhard Steffen

739 kr

Computer Performance Engineering

Computer Performance Engineering

Josu Doncel, Anne Remke, Daniele Di Pompeo

859 kr

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Anne Remke, Boudewijn R. Haverkort

739 kr

Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

Marco Gribaudo, David N. Jansen, Anne Remke

719 kr

Analytical and Stochastic Modelling Techniques and Applications

Analytical and Stochastic Modelling Techniques and Applications

Marco Gribaudo, Daniele Manini, Anne Remke

689 kr

Leveraging Applications of Formal Methods, Verification, and Validation
Del 336

Leveraging Applications of Formal Methods, Verification, and Validation

Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen

739 kr