• 454 Citations
  • 12 h-Index
1994 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference article
2004

Formal specification and verification of embedded system with shared resources

Bang, K. S., Choi, J. Y. & Jang, S. H., 2004, In : Proceedings of the International Workshop on Rapid System Prototyping. p. 8-14 7 p.

Research output: Contribution to journalConference article

2003

Verification and Testing of the RTOS for Safety-Critical Embedded Systems

Lee, N. Y., Kim, J. H., Sung, A. Y., Choi, B. J., Choi, J. Y. & Lee, J. S., 2003, In : Transactions of the American Nuclear Society. 89, 1 p.

Research output: Contribution to journalConference article