![Akateeminen Kirjakauppa](/images/index/logo-1195.jpg)
SULJE VALIKKO
KIRJAUDU
FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS : 7TH INTERNATIONAL WORKSHOP, FTSCS 2019, SHENZHEN, CHINA, NOVEMBER 9, 2019, REVIS | |||
| Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revis 49,60 € Springer Sivumäärä: 141 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2020, 26.04.2020 (lisätietoa) Kieli: Englanti This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
![]() ![]() ![]() ![]() Näytä kaikki tuotetiedotISBN: 9783030469016 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |