Scholarworks@UNIST

UNIST Library
Search

  • Communities
  • Researchers & Labs
  • Titles
  • Issue Date

Browsing by Author : Bang, Ki-Seok

All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
가 나 다 라 마 바 사 아 자 차 카 타 파 하
Sort by: In order: Results/Page Etal:

Showing results 1 to 4 of 4

A Study on Formal Verification of complex network protocol

Yi, Jooyong , Bang, Ki-Seok , Choi, Jin-Young

Conference Paper Issue Date2001-00 View45
Linkage of model checking to debugger using extended JPDA

Yi, Jooyong , Bang, Ki-Seok , Choi, Jin-Young

Conference Paper Issue Date2002-00 View58
Model Checking Object-Oriented Software Using Bandera Toolset

Bang, Ki-Seok , Yi, Jooyong , Choi, Jin-Young

Conference Paper Issue Date2001-00 View50
Systematic testing of Java programs using extended JPDA and reflection

Yi, Jooyong , Bang, Ki-Seok , Choi, Jin-Young

Conference Paper Issue Date2002-00 View53
1

RSS 1.0 RSS 2.0

CONTACT US

UNIST | Library

Tel : 052-217-1403 / Email : scholarworks@unist.ac.kr

Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.

ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.

Anonymous

Login
  • Communities
  • Researchers & Labs
  • Titles
  • Issue Date
  • Guide