Вы здесь

Cheung S. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verification of Liveness Properties Using Compositional Reachability Analysis 1997 Cheung S. C., Giannakopoulou D., Kramer J. Lecture Notes in Computer Science 07.10.1997
СТ Enhancing Compositional Reachability Analysis with Context Constrains 1993 Cheung S. C., Kramer J. Software Engineering Notes 12.04.1994
СТ Checking Subsystem Safety Properties in Compositional Reachability Analysis 1996 Cheung S. C., Kramer J. Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 18.06.1996
СТ Checking Safety Properties Using Compositional Reachability Analysis 1999 Cheung S. C., Kramer J. ACM Trans. on Software Engineering and Methodology 26.05.1999
СТ A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation 2002 Cheung S. C., Hung P.C. K., Chiu D.K. W. Lecture Notes in Computer Science 31.10.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Blended Learning: Enhancing Learning Success: Proc./11th International Conference, ICBL 2018 2018 Lecture Notes in Computer Science
  1. Cheung S. C.
  2. Kwok L. -F.
  3. Kubota K.
  4. Lee L. -K.
  5. Tokito J.
31.07.2018