Вы здесь

Главная

Haverkort B. R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives 1994 Trivedi K. S., Haverkort B. R., Rindos A., Mainkar V. Lecture Notes in Computer Science 07.07.1994
СТ Semi-numerical Solution of Stochastic Process Algebra Models 1999 Bohnenkamp H. C., Haverkort B. R. Lecture Notes in Computer Science 18.06.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Performance Evaluation: Modeling Techniques and Tools: Proc./11th Intern. Conf., TOOLS 2000. Schaumburg, IL, USA, March 2000 2000 Lecture Notes in Computer Science
  1. Haverkort B. R.
  2. Bohnenkamp H. C.
  3. Smith C. U.
 18.04.2000
СБ 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
СБ Quantitative Evaluation of Systems: Proc./12th International Conference, QEST 2015, Madrid, Spain, September 2015 2015 Lecture Notes in Computer Science
  1. Campos J.
  2. Haverkort B. R.
 29.09.2015
СБ Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: Proc./18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 2016 2016 Lecture Notes in Computer Science
  1. Remke A.
  2. Haverkort B. R.
 16.06.2016