Formal Methods for Industrial Critical Systems (häftad)

Fler böcker inom

Kompilatorer

Format: E-bok
Filformat: EPUB med LCP-kryptering (0.0 MB)
Om LCP-kryptering
Nedladdning: Kan laddas ned under 24 månader, dock max 6 gånger.
Språk: Engelska
Utgivningsdatum: 2024-08-20
Förlag: Springer Nature Switzerland
ISBN: 9783031681509

Formal Methods for Industrial Critical Systems E-bok

Name: Formal Methods for Industrial Critical Systems
Price: 1794.00 SEK
Availability: InStock
Author: Anne E Haxthausen, Wendelin Serwe
ISBN: 9783031681509

29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

av Anne E Haxthausen, Wendelin Serwe

E-bok (LCP), Engelska, 2024-08-20

1794

Ladda ned

Spara som favorit

Läs i Bokus Reader för iOS och Android

Finns även som

Häftad

Skickas på måndag

646

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.