Catalog > Naturwissenschaft > Allgemein > Laure Petrucci & Jeremy Sproston: Formal Modeling and Analysis of Timed Systems (ePUB)

Laure Petrucci & Jeremy Sproston
Formal Modeling and Analysis of Timed Systems [EPUB ebook]
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Support

Cover von Laure Petrucci & Jeremy Sproston: Formal Modeling and Analysis of Timed Systems (ePUB)

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.

€57.61

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● ISBN 9783031426261 ● Herausgeber Laure Petrucci & Jeremy Sproston ● Verlag Springer Nature Switzerland ● Erscheinungsjahr 2023 ● herunterladbar 3 mal ● Währung EUR ● ID 9198514 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Laure Petrucci Jeremy Sproston

88.601 Ebooks in dieser Kategorie

Cover von Derek McGhee: Homosexuality, Law and Resistance

Derek McGhee: Homosexuality, Law and Resistance

This book explores contemporary social theory and developments in the study of sexuality through the analysis of law and its practices. Each chapter explores the power of discourse in law in relation …

Cover von Hakan (Swedish Defence University, Stockholm, Sweden) Edstrom & Jacob (Swedish Defence University, Stockholm, Sweden) Westberg: Military Strategy of Great Powers

Hakan (Swedish Defence University, Stockholm, Sweden) Edstrom & Jacob (Swedish Defence University, Stockholm, Sweden) Westberg: Military Strategy of Great Powers

This book explores the military strategies of the five system-determining great powers during the twenty-first century. The book’s point of departure is that analyses of countries’ defence strategies …

Cover von Pedro Dinho da Silva & Pedro Dinis Gaspar: Handbook of Research on Advances and Applications in Refrigeration Systems and Technologies

Pedro Dinho da Silva & Pedro Dinis Gaspar: Handbook of Research on Advances and Applications in Refrigeration Systems and Technologies

Cover von Chua Beng Huat & Arndt Graf: Port Cities in Asia and Europe

Chua Beng Huat & Arndt Graf: Port Cities in Asia and Europe

With the demise of European socialist economies and the marketization of Asian communist countries, a new global capitalism has reshaped the configuration of the world economy, with speed a determini …

Cover von Thomas Scharping: Birth Control in China 1949-2000

Thomas Scharping: Birth Control in China 1949-2000

This comprehensive volume analyses Chinese birth policies and population developments from the founding of the People“s Republic to the 2000 census. The main emphasis is on China“s “Hardship Numbe …

Cover von Clara Irazabal: Transbordering Latin Americas

Clara Irazabal: Transbordering Latin Americas

This book examines transborder Latin American sociocultural and spatial conditions across the globe and at different scales, from gendered and racialized individuals to national and transnational org …

Cover von Nirmala Buch: From Oppression to Assertion

Nirmala Buch: From Oppression to Assertion

The book explores the experiences, impact and responses of women in village panchayats in India after a Constitutional Amendment in 1992 made it mandatory to reserve one-third positions for women. Ba …

Cover von Elena (Saratov State Technical University, and National Research University Higher School of Economics, Russia) Iarskaia-Smirnova & Michael (University of Lincoln, UK) Rasell: Disability in Eastern Europe and the Former Soviet Union

Elena (Saratov State Technical University, and National Research University Higher School of Economics, Russia) Iarskaia-Smirnova & Michael (University of Lincoln, UK) Rasell: Disability in Eastern Europe and the Former Soviet Union

There are over thirty million disabled people in Russia and Eastern Europe, yet their voices are rarely heard in scholarly studies of life and well-being in the region. This book brings together new …

Cover von Mark K. Watson: Japan''s Ainu Minority in Tokyo

Mark K. Watson: Japan“s Ainu Minority in Tokyo

This book is about the Ainu, the indigenous people of Japan, living in and around Tokyo; it is, therefore, about what has been pushed to the margins of history. Customarily, anthropologists and publi …

Cover von G. J. V. Prasad: Writing India, Writing English

G. J. V. Prasad: Writing India, Writing English

The essays in this book look at the interaction between English and other Indian languages and focus on the pressure of languages on writers and on each other. Divided into two parts, the first part …

nächste Seite >>>