| Original language | Korean |
|---|---|
| Journal | International Journal of Security and its Applications |
| State | Published - 2013 |
Safety properties based scenario generation for model checking trampoline OS
Research output: Contribution to journal › Article › peer-review