Вы здесь

Главная

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
СБ 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
СБ 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
СБ 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