Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

561 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Dimitra Giannakopoulou, Anastasia Mavridou, Susmit Jha, Ritchie Lee - NASA Formal Methods, E-bok

NASA Formal Methods

Dimitra Giannakopoulou, Anastasia Mavridou, Susmit Jha, Ritchie Lee

E-bok
2020

1 022 kr

Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou - NASA Formal Methods, Häftad

NASA Formal Methods

Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

Häftad, 2020

826 kr