Utvidet returrett til 31. januar 2025

Formal Techniques for Safety-Critical Systems

- 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Om Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030129873
  • Bindende:
  • Paperback
  • Sider:
  • 179
  • Utgitt:
  • 2. februar 2019
  • Utgave:
  • 12019
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 454 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions.

Brukervurderinger av Formal Techniques for Safety-Critical Systems



Finn lignende bøker
Boken Formal Techniques for Safety-Critical Systems finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.