search result

Cover von Runtime Verification
24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Formal Methods; 15191
Media group: MONOGRAPHIE
Cover von Dependable Software Engineering
Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27 - 29, 2023, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14464
Media group: MONOGRAPHIE
Cover von Theoretical Aspects of Computing
ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4 - 8, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14446
Media group: MONOGRAPHIE
Cover von Integrated Formal Methods
18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14300
Media group: MONOGRAPHIE
Cover von Fundamentals of Software Engineering
10th International Conference, FSEN 2023, Tehran, Iran, May 4 - 5, 2023, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14155
Media group: MONOGRAPHIE
Cover von Computer performance evaluation
modelling techniques and tools : 9th international conference : St. Malo, France, June 3 - 6, 1997 : proceedings
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1245
Media group: MONOGRAPHIE
Cover von Probability and statistics with reliability, queuing, and computer science applications
Author: Trivedi, Kishor Shridharbhai Search for this author
Year: 1982
Publisher: Englewood Cliffs, Prentice Hall
Media group: MONOGRAPHIE
Cover von Quantitative Systemanalyse mit Markovschen Ketten
eine Darstellung für Informatiker und Ingenieure
Search for this author
Year: 1994
Publisher: Stuttgart, Teubner
Series: Teubner-Texte zur Informatik; 8
Media group: MONOGRAPHIE
Cover von Die strukturierte Analyse Markovscher Modelle
Author: Buchholz, Peter Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 282
Media group: MONOGRAPHIE
Cover von Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12 - 16, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13479
Media group: MONOGRAPHIE
OPEN V 11.1.0.0