Catalog > Ciência > Geral > 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

Apoio

Capa do 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

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9783031426261 ● Editor Laure Petrucci & Jeremy Sproston ● Editora Springer Nature Switzerland ● Publicado 2023 ● Carregável 3 vezes ● Moeda EUR ● ID 9198514 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Laure Petrucci Jeremy Sproston

90.364 Ebooks nesta categoria

Capa do Koen P.R. (Bangor University, UK.) Bartels & Julia M. (Erasmus University Rotterdam, Netherlands.) Wittmayer: Action Research in Policy Analysis

Koen P.R. (Bangor University, UK.) Bartels & Julia M. (Erasmus University Rotterdam, Netherlands.) Wittmayer: Action Research in Policy Analysis

Today’s pressing political, social, economic, and environmental crises urgently ask for effective policy responses and fundamental transitions towards sustainability supported by a sound knowledge ba …

Capa do Dena (Shanghai University, China) Freeman: Tearfund and the Quest for Faith-Based Development

Dena (Shanghai University, China) Freeman: Tearfund and the Quest for Faith-Based Development

This book gives an in-depth analysis of the role of faith in the work of Tearfund, a leading evangelical relief and development NGO that works in over 50 countries worldwide. The study traces the cha …

Capa do Dilip (Cotton University, Assam, India) Gogoi: Making of India''s Northeast

Dilip (Cotton University, Assam, India) Gogoi: Making of India”s Northeast

This book examines India’s Northeast borderland – strategically positioned at the confluence of South Asia, East and Southeast Asia – from the perspective of international relations. The volume inter …

Capa do Mark Carwardine: Handbook of Whales, Dolphins and Porpoises

Mark Carwardine: Handbook of Whales, Dolphins and Porpoises

”Everyone who loves the sea and what”s in it should own this book.” – Bill Bryson From the blue whale to the Indo-Pacific finless porpoise, this handbook is the most comprehensive, authoritative a …

Capa do 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 …

Capa do Rebecca W. B. (University of Tampere, Finland) Lund & Ann Christin E. (University of Agder, Norway) Nilsen: Institutional Ethnography in the Nordic Region

Rebecca W. B. (University of Tampere, Finland) Lund & Ann Christin E. (University of Agder, Norway) Nilsen: Institutional Ethnography in the Nordic Region

Developed in response to the theoretically driven mainstream sociology, institutional ethnography starts from people’s everyday experiences, and works from there to discover how the social is organiz …

Capa do Cormac Mc Namara: Gambling, Losses and Self-Esteem

Cormac Mc Namara: Gambling, Losses and Self-Esteem

This book provides new insights into contemporary betting shops, with a particular focus on the manner in which losing bets are dealt with by customers. Drawing on research undertaken in Ireland, it …

Capa do Monkgogi Lenao & Naomi Moswete: Natural Resources, Tourism and Community Livelihoods in Southern Africa

Monkgogi Lenao & Naomi Moswete: Natural Resources, Tourism and Community Livelihoods in Southern Africa

This book examines the connections between natural resources, tourism and community livelihood practices in Southern Africa, highlighting the successes and constraints experienced over the last 50 ye …

Capa do Saurabh (Professor-Researcher, Distinguished Category, El Colegio de Mexico.) Dube & Sanjay (Goldsmiths, University of London, UK) Seth: Dipesh Chakrabarty and the Global South

Saurabh (Professor-Researcher, Distinguished Category, El Colegio de Mexico.) Dube & Sanjay (Goldsmiths, University of London, UK) Seth: Dipesh Chakrabarty and the Global South

Over the last four decades, Dipesh Chakrabarty’s astonishingly wide-ranging scholarship has elaborated a range of important issues, especially those of modernity, identity, and politics – in dialogue …

Capa do Vina (University of Hawai‘i-Manoa, USA.) Lanzona & Frederik (Singapore Management University) Rettig: Women Warriors in Southeast Asia

Vina (University of Hawai‘i-Manoa, USA.) Lanzona & Frederik (Singapore Management University) Rettig: Women Warriors in Southeast Asia

This book brings together a wide range of case studies to explore the experiences and significance of women warriors in Southeast Asian history from ancient to contemporary times. Using a number of s …

Próxima página >>>