Вы здесь

Koppenhoefer S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal-Model Based Performance Evaluation in Distributed Systems 1995 Koppenhoefer S., Vamparys F. Applied Informatics 14.09.1995
СТ Testing Temporal Logic Properties in Distributed Systems 1998 Dietrich F., Logean X., Koppenhoefer S., Hubaux J. -P. Testing of Communicating Systems (IFIP) 29.01.2005