Bild 1 von 5
Standardbild
Bild 1 von 5
Standardbild
Lecture Notes in Computer Science Ser.: Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings by David Parker (2022, Trade Paperback)
Mr Jonezy's (2787)
99,8% positive Bewertungen
Preis:
US $40,01
(inkl. MwSt.)
Ca.CHF 32,34
+ $20,26 Versand
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Artikelzustand:
- Sofort-KaufenFormal Modeling Analysis Of Timed Systems: 20th Int Conference Formats 2022
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Über dieses Produkt
Product Identifiers
PublisherSpringer International Publishing A&G
ISBN-103031158385
ISBN-139783031158384
eBay Product ID (ePID)8057279923
Product Key Features
Number of PagesXvii, 307 Pages
LanguageEnglish
Publication NameFormal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
SubjectInformation Theory, Computer Science, General, Databases / General
Publication Year2022
TypeTextbook
Subject AreaMathematics, Computers
AuthorDavid Parker
SeriesLecture Notes in Computer Science Ser.
FormatTrade Paperback
Dimensions
Item Weight17.6 Oz
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Dewey Edition23
Series Volume Number13465
Number of Volumes1 vol.
IllustratedYes
Dewey Decimal004.0151
Table Of ContentInvited Papers.- Probabilistic and Timed Systems.- Temporal Logic.- Timed Automata and Games.- Neural Networks.- Reinforcement Learning.
SynopsisThis 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.
LC Classification NumberQA75.5-76.95
