Showing results 1 to 2 of 2
An approach to a hybrid software process simulation using the DEVS formalism Choi K.; Bae, Doo-Hwan; Kim T., SOFTWARE PROCESS IMPROVEMENT AND PRACTICE, v.11, no.4, pp.373 - 383, 2006-07 |
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Kim, Moonzoo; Hong S.; Hong C.; Kim T., ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.253, no.2, pp.21 - 36, 2009-10 |
Discover