Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327 (PDF)

Name: Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327
Brand: Springer-Verlag GmbH
SKU: 134181361
Price: 53.49 EUR
Availability: OnlineOnly

25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327".

Merken

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the...

Mehr zum Inhalt Video

eBook (pdf) 53.49 €

Buch (Kartoniert) 53.49 €

sofort als Download lieferbar

Bestellnummer: 134181361

eBook (pdf) 53.49 €

Download bestellen

Verschenken

26 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327 (PDF)“

The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.

The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

2020, 1st ed. 2020, 289 Seiten, Englisch
Herausgegeben: Maurice H. ter Beek, Dejan Nickovic
Verlag: Springer-Verlag GmbH
ISBN-10: 3030582981
ISBN-13: 9783030582982
Erscheinungsdatum: 28.08.2020

Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Größe: 13 MB
Ohne Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327"

Schreiben Sie einen Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327".

Wie funktionieren Bewertungen?

0 Gebrauchte Artikel zu „Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.12327“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating