Catalog > Science > Général > 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

Couverture du 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

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format EPUB ● ISBN 9783031426261 ● Éditeur Laure Petrucci & Jeremy Sproston ● Maison d’édition Springer Nature Switzerland ● Publié 2023 ● Téléchargeable 3 fois ● Devise EUR ● ID 9198514 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Laure Petrucci Jeremy Sproston

90 364 Ebooks dans cette catégorie

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du Hemda Ben-Yehuda: All the World’s a Stage

Hemda Ben-Yehuda: All the World’s a Stage

Classroom role-playing simulations bring the drama of politics to life and enrich traditional learning by plunging students into the midst of historical or current events. Ben-Yehuda gives students a …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Page suivante >>>