Calculated based on number of publications stored in Pure and citations from Scopus
1994 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 1999

    Formal verification of RACE protocol using SSM

    Kim, H., Choi, J. Y., Ki, A. & Han, W. J., 1999, IEEE Region 10 Annual International Conference, Proceedings/TENCON. Institute of Electrical and Electronics Engineers Inc., p. 1083-1086 4 p. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • 1994

    Timing analysis of superscalar processor programs using ACSR

    Choi, J. Y., Lee, I. & Kang, I., 1994, Proceedings of the IEEE Workshop on Real-Time Operating Systems and Software. Publ by IEEE, p. 63-67 5 p. (Proceedings of the IEEE Workshop on Real-Time Operating Systems and Software).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)