Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer-Verlag GmbH
SKU: 9783032009418
Price: 288.75 PLN
Availability: InStock

Autor: Bernhard Steffen

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag GmbH

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 11-15 dni

288.75 zł

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Ind...

Informacje o książce

Autor

Bernhard Steffen

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2025

strony

286

EAN

9783032009418

ISBN

3032009413

Enbook ID

49083337

Wydawca

Springer-Verlag GmbH

Waga

435

Pełny opis

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27 28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods for Industrial Critical Systems

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również