Вы здесь

Hermanns H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Bisimulation Algorithms for Stohastic Process Algebras and Their BDD-Based Implementation 1999 Hermanns H., Siegle M. Lecture Notes in Computer Science 18.06.1999
СТ Towards Model Checking Stochastic Process Algebra 2000 Hermanns H., Katoen J. -P., Meyer-Kayser J., Siegle M. Lecture Notes in Computer Science 30.11.2000
СТ Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains 2001 Hermanns H., Katoen J. -P. Lecture Notes in Computer Science 04.10.2001
М Interactive Markov Chains: And the Quest for Quantified Quality 2002 Hermanns H. Lecture Notes in Computer Science 26.10.2002
СТ A Set of Performance and Dependability Analysis Components for CADP 2003 Hermanns H., Joubert C. Lecture Notes in Computer Science 17.04.2003

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Lectures on Formal Methods and Performance Analysis/ First EEF/Euro Summer School on Trends in Computer Science, Berd en Dal,The Netherlands, July 3-7,2000 2001 Lecture Notes in Computer Science
  1. Brinksma E.
  2. Hermanns H.
  3. Katoen J. -P.
02.11.2001
СБ Process Algebra and Probabilistic Methods - Performance Modeling and Verification: Proc./Second Joint Intern. Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 2002 2002 Lecture Notes in Computer Science
  1. Hermanns H.
  2. Segala R.
07.08.2002
СБ Validation of Stochastic Systems. A Guide to Current Research 2004 Lecture Notes in Computer Science
  1. Baier Ch.
  2. Haverkort B. R.
  3. Hermanns H.
  4. Katoen J. -P.
03.09.2004
СБ CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006 2006 Lecture Notes in Computer Science
  1. Baier Ch.
  2. Hermanns H.
28.09.2006
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./12th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March/April 2006 2006 Lecture Notes in Computer Science
  1. Hermanns H.
  2. Palsberg J.
23.05.2006
СБ Computer Aided Verification: Proc./19th International Conference, CAV 2007. Berlin, Germany, July 2007 2007 Lecture Notes in Computer Science
  1. Damm W.
  2. Hermanns H.
19.10.2007
СБ Measurement, Modelling and Evaluation of Computing Systems: Proc./20th International Conference, MMB 2020, Saarbrücken, Germany, March 2020 2020 Lecture Notes in Computer Science
  1. Hermanns H.
22.04.2020