Вы здесь

Jung G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Correlation Framework for the CORBA Component Model 2004 Jung G., Hatcliff J., Panganath V. P. Lecture Notes in Computer Science 16.04.2004
СТ Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems 2004 Childs A., Greenwald J., Ranganath V. P., Deng X., Dwyer M., Hatcliff J., Jung G., Shanti P., Singh G. Lecture Notes in Computer Science 16.04.2004
СТ Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software 2003 Deng X., Dwyer M. B., Hatcliff J., Jung G., Robby., Singh G. Lecture Notes in Computer Science 31.01.2004