Search results for: Gihwon Kwon
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 491-494
Lecture Notes in Computer Science > ≪UML≫ 2000 — The Unified Modeling Language > State Charts > 528-540
Lecture Notes in Computer Science > Computational Science and Its Applications - ICCSA 2006 > General Tracks > 905-911
Lecture Notes in Computer Science > Computational Science and Its Applications - ICCSA 2006 > Workshop on Component Based Software Engineering and Software Process Model (CBSE 2006) > 1081-1089
Lecture Notes in Computer Science > Embedded Software and Systems > Track 6: Testing and Verification > 361-372
Lecture Notes in Computer Science > Computational Science and Its Applications – ICCSA 2005 > Component Based Software Engineering and Software Process Model Workshop > 973-982
Lecture Notes in Computer Science > Software Engineering Research and Applications > Knowledge Discovery and Artificial Intelligence > 290-303
Electronic Notes in Theoretical Computer Science > 2006 > 149 > 2 > 19-31