search result

Cover von Dependable Computing
Design and Assessment
Search for this author
Year: 2024
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
Cover von Phase Type Distributions
Theory and Application
Author: Horváth, András; Telek, Miklós Search for this author
Year: 2024
Publisher: Chichester, Wiley
Series: Networks and telecommunications series; 2
Media group: MONOGRAPHIE
Cover von Ernst Denert Award for Software Engineering 2022
Practice Meets Foundations
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Media group: OPENACCESS
Cover von Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16040
Media group: MONOGRAPHIE
Cover von Computer Performance Engineering
20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15454
Media group: MONOGRAPHIE
Cover von Part III.; Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science; 15262
Media group: MONOGRAPHIE
Cover von Part I.; Principles of Verification
Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science; 15260
Media group: MONOGRAPHIE
Cover von Part II.; Principles of Verification
Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Search for this author
Year: 2025
Publisher: Berlin, Springer
Volume: Part II.
Series: Lecture notes in computer science : Festschrift; 15261
Media group: MONOGRAPHIE
Cover von TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Challenges; 14550
Media group: MONOGRAPHIE
Cover von Analytical and Stochastic Modelling Techniques and Applications
28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14826
Media group: MONOGRAPHIE
OPEN V 11.1.0.0