Teil der Reihe: Springer Nature Proceedings Computer Science

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Peter Gorm Larsen
SKU: 9783032368492
Price: 69.54 EUR
Availability: InStock

31st International Conference, FMICS 2026, Liverpool, UK, September 3-4, 2026, Proceedings

€69,54

inkl. MwSt. • Kein physischer Versand

Sofort per Download lieferbar

Ihr Downloadlink kommt direkt per E-Mail.

PDF: lesbar auf Smartphone, Tablet, Computer und in vielen PDF-Apps.

Anzahl:

E-Book

eBook-Format:PDF

✓14 Tage Widerrufsrecht

✓Sicher bezahlen – auch auf Rechnung mit Klarna

Inhaltsangabe

This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3–4, 2026.

The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions. The papers deal with developments and applications of formal methods in Industrial Critical Systems.

Produktdetails