Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	August 2022
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / architecting / architectureverificationandvalidation / ArtificialIntelligence / automatatheory / Computerhardware / ComputerNetworks / computerprogramming / computerscience / computersystems / embeddedsystems / engineering / formallanguages / Informationstheorie / Linguistics / Mathematics / modelchecking / signalprocessing / Software Engineering / softwarearchitecture / Softwaredesign / Softwareengineering / theoreticalcomputerscience / Theoretische Informatik mehr...
ISBN:	9783031158384
EAN-Code:	9783031158384
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 18 mm
Gewicht:	493 gr
Seiten:	324
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.