E-bok > Sciences > Allmänt > 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

Stöd

Omslag till 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

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera EPUB ● ISBN 9783031426261 ● Redaktör Laure Petrucci & Jeremy Sproston ● Utgivare Springer Nature Switzerland ● Publicerad 2023 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 9198514 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Laure Petrucci Jeremy Sproston

90 364 E-böcker i denna kategori

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till Jachinson Chan: Chinese American Masculinities

Jachinson Chan: Chinese American Masculinities

This book is one of the first scholarly analyses of the current social constructions of Chinese American masculinities. Arguing that many of these notions are limited to stereotypes, Chan goes beyond …

Omslag till Kanchan K. Malik & Vinod Pavarala: Community Radio in South Asia

Kanchan K. Malik & Vinod Pavarala: Community Radio in South Asia

This book explores the state of community radio, a significant independent media movement that began about two decades ago, in different parts of South Asia. The volume outlines the socioeconomic and …

Omslag till Paolo Silvio Harald Favero: Image-Making-India

Paolo Silvio Harald Favero: Image-Making-India

Image-Making-India explores the evolving meaning of images in a digital landscape from the vantage point of contemporary India. Building upon long-term ethnographic research among image-makers in Del …

Omslag till Tae Yong (Yonsei University, South Korea) Jung & Sung Jin (Korea University, South Korea) Kang: Development Prospects for North Korea

Tae Yong (Yonsei University, South Korea) Jung & Sung Jin (Korea University, South Korea) Kang: Development Prospects for North Korea

The contributors to this book explore the current situation of North Korea in various aspects and provide policy suggestions for North Korea to become part of the international community and achieve …

Omslag till Laxman Kumar Behera: India’s Defence Economy

Laxman Kumar Behera: India’s Defence Economy

As the fourth largest military spender in the world, India has a huge defence economy supported by a budget amounting to nearly $67 billion in 2020–21. This book examines how well India’s defence eco …

Omslag till Varigonda Kesava Chandra: Society, Resistance and Civil Nuclear Policy in India

Varigonda Kesava Chandra: Society, Resistance and Civil Nuclear Policy in India

This book explores how anti-nuclear social movements impact the state’s civil nuclear policy and its implementation by presenting a historical-comparative case study of anti-nuclear movements in Indi …

Nästa sida >>>