Formal Methods for Industrial Critical Systems

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

Szerző: Bernhard Steffen

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag GmbH

Elérhetőség: Beszállítói készleten

Küldés 14-21 napon belül

25 036 Ft

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

Információk a könyvről

Szerző

Bernhard Steffen

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2025

oldal

286

EAN

9783032009418

ISBN

3032009413

Enbook ID

49083337

Kiadó

Springer-Verlag GmbH

Súly

435

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods for Industrial Critical Systems

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták