Languages
Hermanns, Holger.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Process algebra and probabilistic methodsperformance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /
by:
(1998 :); Hermanns, Holger.; Segala, Roberto.; SpringerLink (Online service)
(Electronic resources)
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /
by:
(1998 :); Hermanns, Holger.; Palsberg, Jens.; SpringerLink (Online service)
(Electronic resources)
Lectures on formal methods and performance analysisfirst EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
by:
(1998 :); Brinksma, Ed.; Hermanns, Holger.; Katoen, Joost-Pieter.; SpringerLink (Online service)
(Electronic resources)
Measurement, modelling, and evaluation of computing systems20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020 : proceedings /
by:
(1998 :); Hermanns, Holger.; SpringerLink (Online service)
(Electronic resources)
CONCUR 2006 - Concurrency Theory17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /
by:
(1998 :); Baier, Christel.; Hermanns, Holger.; SpringerLink (Online service)
(Electronic resources)
Interactive Markov chains and the quest for quantified quality
by:
Hermanns, Holger.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Logics and Meanings of Programs.
Markov processes.
Machine theory
Telecommunication systems
Computer software
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Techniques.
Computer systems
Information Systems Applications (incl. Internet)
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Parallel processing (Electronic computers)
Computer System Implementation.