Del 14138
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
AvJeremy Sproston,Laure Petrucci
E-bok
Engelska, 2023815 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.
The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Application and Theory of Petri Nets and Concurrency
Laure Petrucci, Luca Bernardinello
E-bok
20221 059 kr
Critical Systems: Formal Methods and Automated Verification
Ana Cavalcanti, Cristina Seceleanu, Laure Petrucci
E-bok
2017734 kr
Models and Analysis for Distributed Systems
Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad
E-bok
20132 248 kr
Del 10471
Critical Systems: Formal Methods and Automated Verification
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Häftad, 2017
559 kr
Transactions on Petri Nets and Other Models of Concurrency XVIII
Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Häftad, 2026
894 kr
Models and Analysis for Distributed Systems
Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad
E-bok
20132 330 kr