| Original language | Korean |
|---|---|
| Journal | International Journal of Security and its Applications |
| State | Published - 2013 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Safety properties based scenario generation for model checking trampoline OS
Research output: Contribution to journal › Article › peer-review