Normal view MARC view ISBD view

Formal Methods for Industrial Critical Systems [electronic resource] : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings / edited by Anne E. Haxthausen, Wendelin Serwe.

Contributor(s):

Material type:

TextSeries: Lecture Notes in Computer Science ; 14952Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Edition: 1st ed. 2024Description: XII, 260 p. 93 illus., 70 illus. in color. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783031681509

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleLOC classification:

QA76.76.C65

Online resources:

Resursa online

In: Springer Nature eBookSummary: 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.

Item type: List(s) this item appears in: Titluri cărți electronice Springer Nature 2025 (10631 titluri)

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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.

There are no comments on this title.

to post a comment.