Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Techniques for Safety-Critical Systems

7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
BuchKartoniert, Paperback
141 Seiten
Englisch
Springererschienen am26.04.20201st ed. 2020
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.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThis 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.
Details
ISBN/GTIN978-3-030-46901-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2020
Erscheinungsdatum26.04.2020
Auflage1st ed. 2020
ReiheCommunications in Computer and Information Science
Seiten141 Seiten
SpracheEnglisch
Gewicht242 g
IllustrationenVIII, 141 p. 81 illus., 23 illus. in color.
Artikel-Nr.47966888

Inhalt/Kritik

Inhaltsverzeichnis
Invited paper.- Avionics and Spacecraft.- Applications.- Tools and Work in Progress.mehr

Schlagworte

Autor