SULJE VALIKKO

avaa valikko

Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, P
49,60 €
Springer Nature Switzerland AG
Sivumäärä: 249 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2021
Julkaisuvuosi: 2021, 10.08.2021 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
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. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.



The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Pzoom
Näytä kaikki tuotetiedot
ISBN:
9783030852474
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste