Formal Methods for Industrial Critical Systems

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

Autor: Bernhard Steffen

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag GmbH

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

347.68 lei

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

Informații despre carte

Autor

Bernhard Steffen

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2025

Pagini

286

EAN

9783032009418

ISBN

3032009413

Enbook ID

49083337

Editura

Springer-Verlag GmbH

Greutate

435

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Methods for Industrial Critical Systems

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și