2006 | ||
---|---|---|
4 | Keum-Young Sung: The Use of Context-Sensitive Grammar For Modeling RNA Pseudoknots. BIOCOMP 2006: 338-344 | |
3 | EE | Keum-Young Sung: Specification with Java IDL for Correctness and Maintainability of Distributed Software System. ICAS 2006: 13 |
2 | Keum-Young Sung: A Software Specification Language for RNA Pseudoknots. Software Engineering Research and Practice 2006: 684-687 | |
2001 | ||
1 | EE | Keum-Young Sung: Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java. ICN (1) 2001: 530-539 |