Hermanns, Holger.

概要

作品:	2 作品在 2 項出版品 1 種語言

書目資訊

Dependable software engineeringtheories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings / by: (1998 :); Bu, Lei.; Hermanns, Holger.; SpringerLink (Online service); Sun, Jun. (書目-電子資源)

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) (書目-電子資源)

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) (書目-電子資源)

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) (書目-電子資源)

CONCUR 2006 - Concurrency Theory17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 / by: (1998 :); Baier, Christel.; Hermanns, Holger.; SpringerLink (Online service) (書目-電子資源)

Interactive Markov chains and the quest for quantified quality by: Hermanns, Holger.; SpringerLink (Online service) (書目-電子資源)

主題