Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

by Anne Remke, Bernhard Steffen Paperback 2025

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Anne Remke, Bernhard Steffen
  • ISBN 13: 9783032009418
  • ISBN 10: 3032009413
  • Publication Year: 2025
  • Language: English

Specifications

Index-103032009413
LanguageEnglish
Index-139783032009418
Period-
Class Track-
Publisher- (2025)
Pages-

✨ Readers also enjoyed...

View All →
Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Procee

Analytical and Stochastic Modellin…

Anne Remke, Daniele Manini, Marco Gribaudo

Inquire
Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Computer Performance Engineering :…

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

Inquire
Computer Performance Engineering : 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers

Computer Performance Engineering :…

Josu Doncel, Anne Remke, Daniele Di Pompeo

Inquire
Distributed Applications and Interoperable Systems : 20th IFIP WG 6. 1 International Conference, DAIS 2020, Held As Part of the 15th International Fed

Distributed Applications and Inter…

Anne Remke, Valerio Schiavoni

Inquire
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31-September 3, 2020, Proceedings

Quantitative Evaluation of Systems…

Marco Gribaudo, David N. Jansen, Anne Remke

Inquire