Automated Technology for Verification and Analysis

- 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

af

indgår i serie Lecture Notes in Computer Science


Automated Technology for Verification and Analysis
Format:
Bog, paperback
Udgivelsesdato:
21-11-2019
Sprog:
Engelsk
Udgave:
1st ed. 2019.
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.

Vis mereVis mindre

Udgivelsesdato:
21-11-2019
ISBN13:
9783030317836
Bredde:
155 mm
Højde:
235 mm
Nummer i serien:
11781
Nummer i serien:
11781
Format:
Paperback
  • Forfattere

  • Bibliotekernes beskrivelse

    This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. 1 Paperback / softback 132 Illustrations, black and white; IX, 502 p. 132 illus.

Vis mereVis mindre

Vis mereVis mindre

Automated Technology for Verification and Analysis

- 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

af

indgår i serie Lecture Notes in Computer Science

  • Leveringstid Kan forudbestilles

på lager

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo

Du har nu adgang til din konto hos Saxo, og kan se alle oplysninger om dit medlemskab, dine
ordrer og din digitale boghylde under "Mit Saxo".

Som tak for, at du har aktiveret dit medlemskab, har vi valgt at give dig fri læsning hele
sommeren. Dvs. at du frit kan tilgå de mere en 50.000 bøger i Saxos app, samt købe bøger til
vores altid lave medlemspris og fri fragt her på Saxo.com hele juli. Din næste medlemsbetaling
vil først falde i august.

Vi glæder os meget til at byde dig velkommen i vores univers, og håber at du kommer godt i
gang med Saxo Premium.

God sommer og god læselyst!

Med venlig hilsen Saxo

Kom i gang nu!