Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	August 2020
Genre:	EDV / Informatik
	architectureverificationandvalidation / Compiler und Übersetzer / cyber-physicalsystems / embeddedsystems / formalmethods / formalspecification / Industrial-CriticalSystems / InternetofThings / mobilerobots / modelchecking / Natürliche Sprachen und maschinelle Übersetzung / ProbabilisticSystems / quantitativeanalysis / reinforcementlearning / signalprocessing / Software Engineering / softwarearchitecture / Softwaredesign / Softwareengineering / Synthesis,Security / Temporallogic / Theoretische Informatik / Tools,Survey,Games mehr...
ISBN:	9783030582975
EAN-Code:	9783030582975
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 18 mm
Gewicht:	482 gr
Seiten:	316
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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 COVID-19 pandemic it changed to a virtual event. 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.