Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	April 2025
Genre:	EDV / Informatik
	Artificial Intelligence / Computer Communication Networks / Computer Engineering and Networks / Correct-by-construction design / Discrete-event and hybrid systems Modeling and Simulation / formal methods / Formal proving / Formal-based Security assessment / Künstliche Intelligenz / model-checking / Netzwerk-Hardware / Performance and robustness evaluation / planning and deployment / QoS evaluation / RAMS (Reliability-Availability-Maintainability-Safety) / Rigorous system design / Security protocols verification / Verification & validation of AI / Verification & validation of safety-critical systems mehr...
ISBN:	9783031853555
EAN-Code:	9783031853555
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	250
Illustration:	XVIII, 250 p. 108 illus., 88 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 refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16-18, 2024. The 16 full papers included in this book were carefully reviewed and selected from 42 submissions. They deal with the state of the art and challenges in modern computer and communication systems in the areas of verification, control, performance, and dependability evaluation.