Значок книги

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems. Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Up...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	SpringerLink (Online service)
Другие авторы:	Graf, Susanne (Редактор), Pettersson, Paul (Редактор), Steffen, Bernhard (Редактор)
Формат:	Электронный ресурс eКнига
Язык:	английский
Опубликовано:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Редактирование:	1st ed. 2025.
Серии:	Lecture Notes in Computer Science, 15230
Предметы:	Software engineering. Machine theory. Software Engineering. Formal Languages and Automata Theory.
Online-ссылка:	https://doi.org/10.1007/978-3-031-73751-0
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Опубликовано: (2025)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
по: Morazán, Marco T.
Опубликовано: (2024)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Опубликовано: (2024)

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
Опубликовано: (2025)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Опубликовано: (2023)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Опубликовано: (2025)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings /
Опубликовано: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Опубликовано: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Опубликовано: (2024)

The French School of Programming
Опубликовано: (2024)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Опубликовано: (2023)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
по: Hoffmann, Dirk W.
Опубликовано: (2025)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Опубликовано: (2025)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Опубликовано: (2023)

Automata Theory And Formal Languages /
по: Kandar, Shyamalendu
Опубликовано: (2012)

Automata Theory And Formal Languages /
по: Kandar, Shyamalendu
Опубликовано: (2012)

Automata Theory And Formal Languages /
по: Kandar, Shyamalendu
Опубликовано: (2012)

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
по: Otto, Friedrich
Опубликовано: (2025)

Restarting Automata Extensions and Generalizations /
по: Otto, Friedrich
Опубликовано: (2025)

Metainferential Logics
по: Pailos, Federico, и др.
Опубликовано: (2023)

Institution-independent Model Theory
по: Diaconescu, Răzvan
Опубликовано: (2025)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Опубликовано: (2024)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Опубликовано: (2025)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Опубликовано: (2023)

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Опубликовано: (2024)

An Introduction to Theory of Computation An Algorithmic Approach /
по: Ogihara, Mitsunori
Опубликовано: (2025)

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Опубликовано: (2024)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
по: Hopcroft, John E.
Опубликовано: (1979)

Introduction to automata theory, languages, and computation /
по: Hopcroft, John E.
Опубликовано: (2001)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
по: Hopcroft, John E.
Опубликовано: (1979)

INTRODUCTION TO AUTOMATA THEORY, LANGUAGES, AND COMPUTATION /
по: Hopcroft, John E.
Опубликовано: (1979)

Introduction to automata theory, languages, and computation /
по: Hopcroft, John E.
Опубликовано: (2001)

Introduction to automata theory, languages, and computation /
по: Hopcroft, John E.
Опубликовано: (2001)

Elements of the Theory of Computation
по: Lewis, Harry R.
Опубликовано: (1998)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV /
Опубликовано: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I /
Опубликовано: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V /
Опубликовано: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II /
Опубликовано: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III /
Опубликовано: (2025)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Опубликовано: (2023)