Вы здесь

Kim S. -K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Validation of XML Document Updates Based on XML Schema in XML Databases 2003 Kim S. -K., Lee M., Lee K. -C. Lecture Notes in Computer Science 23.09.2003
СТ Modeling Time: Adequacy of Three Distinct Time Concepts for Temporal Databases 1994 Kim S. -K., Chakravarthy S. Lecture Notes in Computer Science 14.09.1994
СТ Formalizing the UML Class Diagram Using Object-Z 1999 Kim S. -K., Carrington D. Lecture Notes in Computer Science 05.11.1999
СТ A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints 2002 Kim S. -K., Carrington D. Lecture Notes in Computer Science 02.03.2002
СТ A Formal Mapping between UML Models and Object-Z Specifications 2000 Kim S. -K., Carrington D. Lecture Notes in Computer Science 21.10.2000