Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Siobhan North"'
Autor:
Shtwai Alsubai, Siobhan North
Publikováno v:
IEEE Access, Vol 8, Pp 192569-192586 (2020)
In the history of databases, eXtensible Markup Language (XML) has been thought of as the standard format to store and exchange semi-structured data. With the advent of IoT, XML technologies can play an important role in addressing the issue of proces
Externí odkaz:
https://doaj.org/article/a11e8c4d1c804469b016b783381ae50f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 37-52 (2011)
In previous work we have described how refinements can be checked using a temporal logic based model-checker, and how we have built a model-checker for Z by providing a translation of Z into the SAL input language. In this paper we draw these two str
Externí odkaz:
https://doaj.org/article/a2f379d2938348f68f5efb83c924a637