Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	August 2025
Genre:	EDV / Informatik
	angewandte informatik / Artificial Intelligence / Automotive Systems / Autonomous Systems / Compilers and Interpreters / Computer and Information Systems Applications / Computer Communication Networks / Cyber-Physical Systems (CPS) / Embedded Systems / formal methods / Künstliche Intelligenz / model checking / Netzwerk-Hardware / Railway Control Systems / Runtime Verification (RV) / safety-critical systems / Software Engineering / Testing / Theoretische Informatik / Theory of Computation / Verification mehr...
ISBN:	9783032009418
EAN-Code:	9783032009418
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	297
Illustration:	X, 297 p. 108 illus., 78 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27-28, 2025. The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems