Yunja Choi

Computer Science

1. Model Checking 100%
2. Operating System 53%
3. Embedded Software 40%
4. Control Software 40%
5. model checker 38%
6. Abstract Component 31%
7. Operating Systems 27%
8. Checking Technique 17%
9. Test Generation 16%
10. Software Systems 16%
11. Case Study 14%
12. Multitasking 12%
13. Requirement Specification 12%
14. component based software development 12%
15. Device Driver 11%
16. Formal Verification 11%
17. Constraint Call 11%
18. Safety Critical Systems 11%
19. Numeric Constraint 10%
20. Flash Memory 10%
21. Interaction Behavior 10%
22. Embedded Control 9%
23. Read Operation 9%
24. Embedded System 8%
25. Specification Language 8%
26. Component Based Development 8%
27. Constraint Violation 7%
28. Execution Path 7%
29. Development Process 7%
30. Behavioral Pattern 6%
31. quality of software 6%
32. Driven Verification 6%
33. Software Development 6%
34. Symbolic Execution 6%
35. Constraint Specification 6%
36. State Space 6%
37. Design Verification 5%
38. Open Source 5%
39. Use Case 5%
40. component based design 5%
41. Reverse Engineering 5%
42. Software Requirements 5%
43. Software Platform 5%
44. Software Component 5%
45. Data Transition 5%
46. Transition System 5%
47. C Program 5%
48. consistency checking 5%
49. Home Appliance 5%
50. model-driven development 5%