Results for Formal model

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. (ed.), B., M. (ed.), C.K., C. (ed.), Y., G. (ed.), K., Y. (ed.), A., H. (ed.), Y., O. (ed.), M., M. (ed.) & [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/ISSN › Conference contribution/Paper › peer-review

2. On efficient models for model checking message-passing distributed protocols

   Bokor, P., Serafini, M. & Suri, N., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, Vol. 6117 LNCS. p. 216-223 8 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter