DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Youngjoo

A to Z

All 0-9

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

or enter first few letters:

Showing results 3 to 3 of 3

3
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation

Kim, Youngjoo; Kim, Moonzoo; Kim, Tai Hyo, Haifa Verification Conference (HVC), IBM Research Haifa, 2012-11-07

Discover

rss_1.0 rss_2.0 atom_1.0