Електронна книга > Наука > Генерал > 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

Підтримка

Обкладинка 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.57

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат EPUB ● ISBN 9783031426261 ● Редактор Laure Petrucci & Jeremy Sproston ● Видавець Springer Nature Switzerland ● Опубліковано 2023 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 9198514 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Laure Petrucci Jeremy Sproston

87 316 Електронні книги в цій категорі

Обкладинка Stephen Peterson: Public Finance and Economic Growth in Developing Countries

Stephen Peterson: Public Finance and Economic Growth in Developing Countries

Public finance is crucial to a country’s economic growth, yet successful reform of public finances has been rare. Ethiopia is an example of a country that undertook comprehensive reform of its core f …

Обкладинка Elena (University of Manchester, UK) Barabantseva: Overseas Chinese, Ethnic Minorities and Nationalism

Elena (University of Manchester, UK) Barabantseva: Overseas Chinese, Ethnic Minorities and Nationalism

Elena Barabantseva looks at the close relationship between state-led nationalism and modernisation, with specific reference to discourses on the overseas Chinese and minority nationalities. The inter …

Обкладинка Sara (University of Antwerp, Belgium) Geenen: African Artisanal Mining from the Inside Out

Sara (University of Antwerp, Belgium) Geenen: African Artisanal Mining from the Inside Out

Artisanal mining is commonly associated with violent conflict, rampant corruption and desperate poverty. Yet millions of people across Sub Sahara Africa depend on it. Many of them are living in easte …

Обкладинка Madawi Al-Rasheed: Transnational Connections and the Arab Gulf

Madawi Al-Rasheed: Transnational Connections and the Arab Gulf

Transnational Connections and the Arab Gulf presents a study of transnational cultural flows in the Gulf region and beyond. It combines an understanding of the region”s historical connections w …

Обкладинка Richard (Aberystwyth University, UK) Jackson & Eamon (Curtin University of Technology, Australia) Murphy: Contemporary State Terrorism

Richard (Aberystwyth University, UK) Jackson & Eamon (Curtin University of Technology, Australia) Murphy: Contemporary State Terrorism

This volume aims to ‘bring the state back into terrorism studies’ and fill the notable gap that currently exists in our understanding of the ways in which states employ terrorism as a political strat …

Обкладинка Bengt T. Karlsson & T.B. Subba: Indigeneity In India

Bengt T. Karlsson & T.B. Subba: Indigeneity In India

First published in 2006. Who and what are the ”indigenous people”? The question has become highly contentious in India today, where eighty million peoples belonging to the state category of ”sched …

Обкладинка Patrick J. Cleary: The Negotiation Handbook

Patrick J. Cleary: The Negotiation Handbook

Whether you”re involved in a labor-management dispute or a landlord-tenant disagreement, considering a major purchase or overseeing a large commercial transaction, there are elements that are common …

Обкладинка Jiyoung (Singapore Management University) Song: A History of Human Rights Society in Singapore

Jiyoung (Singapore Management University) Song: A History of Human Rights Society in Singapore

To celebrate Singapore’s fiftieth anniversary for its independence from Malaysia in 2015, 35 students, academics and activists came together to discuss and write about pioneering Singaporean human ri …

Обкладинка K. P. Kannan: Interrogating Inclusive Growth

K. P. Kannan: Interrogating Inclusive Growth

The high growth performance of the Indian economy since the launch of economic reforms in the early 1990s has been much lauded. But how much of this growth has made its way to the poor? In a radical …

Обкладинка Valerie Randle: The Measurement of Grain Boundary Geometry

Valerie Randle: The Measurement of Grain Boundary Geometry

As the selection of material for particular engineering properties becomes increasingly important in keeping costs down, methods for evaluating material properties also become more relevant. One such …

Наступна сторінка >>>