Engineering of Complex Computer Systems

28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings

Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos (Herausgeber)

Buch | Softcover

XIX, 422 Seiten

2024
Springer International Publishing (Verlag)
978-3-031-66455-7 (ISBN)

Artikel merken

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19-21, 2024.

The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. These papers have been categorized into the following sections: Machine Learning and Complex Systems; Neural Network Verification; A.I. for Software Engineering; Smart Contract; Formal Methods; Security & Program Analysis.

Erscheinungsdatum	01.10.2024
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XIX, 422 p. 125 illus., 98 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Complex Systems • dependable networks • Dependable Systems • embedded and cyber-physical systems • Fault-Tolerant Systems • Information Systems Applications • Modeling and Simulation • Models of Computation • Network components • Real-Time Systems • software organization and properties • Systems Security
ISBN-10	3-031-66455-8 / 3031664558
ISBN-13	978-3-031-66455-7 / 9783031664557
Zustand	Neuware