Catalog > Sciences > General > 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 of 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

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783031426261 ● Editor Laure Petrucci & Jeremy Sproston ● Publisher Springer Nature Switzerland ● Published 2023 ● Downloadable 3 times ● Currency EUR ● ID 9198514 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Laure Petrucci Jeremy Sproston

90,292 Ebooks in this category

Cover of Susanne Jonas: Of Centaurs And Doves

Susanne Jonas: Of Centaurs And Doves

‘In a century of horrors, Guatemala from 1954 to the present has been a bloody scene of some of the worst horrors—and the United States has been deeply involved. Drawing upon 30 years of experience i …

Cover of Piet Konings: The State and Rural Class Formation in Ghana

Piet Konings: The State and Rural Class Formation in Ghana

First published in 1986. Africanists are nowadays devoting increasing attention to the role of the state – both colonial and post-colonial – in the process of class formation in African societies. Th …

Cover of Jennifer Hesterman: Soft Target Hardening

Jennifer Hesterman: Soft Target Hardening

The US government spends billions of dollars to secure strategic and tactical assets at home and abroad against enemy attack. However, as ‘hard targets’ such as military installations and government …

Cover of Kosaku Yoshino: Consuming Ethnicity and Nationalism

Kosaku Yoshino: Consuming Ethnicity and Nationalism

This book is unique in applying a consumption approach to the study of ethnicity and nationalism, thereby challenging the usual ”top down” approach to nation-formation. Contributors from a variety …

Cover of Isabelle Cote & Monica (Belfer Center for Science and International Affairs, Harvard University) Duffy Toft: People Changing Places

Isabelle Cote & Monica (Belfer Center for Science and International Affairs, Harvard University) Duffy Toft: People Changing Places

While migration and population settlement have always been an important feature of political life throughout the world, the dramatic changes in the pace, direction, and complexity of contemporary mig …

Cover of Miriam O'Kane Mara: Globalism and Gendering Cancer

Miriam O’Kane Mara: Globalism and Gendering Cancer

This book connects a rhetorical examination of medical and public health policy documents with a humanistic investigation of cultural texts to uncover the link between gendered representations of hea …

Cover of Jasmine (University of St Andrews, UK.) Gani & Raymond Hinnebusch: The Routledge Handbook to the Middle East and North African State and States System

Jasmine (University of St Andrews, UK.) Gani & Raymond Hinnebusch: The Routledge Handbook to the Middle East and North African State and States System

Conflict and instability are built into the very fabric of the Middle East and North African (MENA) state and states system; yet both states and states system have displayed remarkable resilience. Ho …

Cover of James Lull: Evolutionary Communication

James Lull: Evolutionary Communication

Evolutionary Communication presents the first comprehensive evolutionary approach to the study of human communication. Presuming no specialized knowledge of evolutionary theory, this reader-friendly …

Cover of Edward Westermarck: Wit and Wisdom in Morocco (Routledge Revivals)

Edward Westermarck: Wit and Wisdom in Morocco (Routledge Revivals)

First published in 1930, this is the final of Edward Westermarck’s trilogy of titles that explore the society, culture and customs of Morocco. Compiled from years of personal research and interviews …

Cover of Sabrina Ching Yuen Luk: Ageing, Long-term Care Insurance and Healthcare Finance in Asia

Sabrina Ching Yuen Luk: Ageing, Long-term Care Insurance and Healthcare Finance in Asia

This book uses a revised version of Kingdon’s multiple-streams framework to examine health financing reforms in China, Hong Kong, Taiwan, and the Republic of Korea (ROK) as well as long-term care ins …