Home > Research > Browse

Results for programming languages

Publications & Outputs

  1. A formal modeling for exceptions in context-aware systems

    Yoon, T.-S., Choi, J.-H., Cho, E.-S., Helal, S., C., S. (Editor), B., M. (Editor), C.K., C. (Editor), Y., G. (Editor), K., Y. (Editor), A., H. (Editor), Y., O. (Editor), M., M. (Editor) & [Unknown], 2014, 38th Annual IEEE Computer Software and Applications Conference Workshops, COMPSACW 2014. IEEE, p. 734-739 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  2. An integrated formal model for context-Aware systems

    Cho, E.-S., Yoon, T.-S., Choi, J.-H., Paik, J.-Y. & Helal, S., 2013, Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual. IEEE, p. 163-168 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review