Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bashir Adewale Sanusi"'
Autor:
Bashir Adewale Sanusi, Emmanuel Ogunshile, Mehmet Aydin, Stephen Olatunde Olabiyisi, Mayowa Oyedepo Oyediran
Publikováno v:
Computer Science and Information Technology Trends.
The improvement of this paper takes advantage of the existing formal method called Stream XMachine by optimizing the theory and applying it to practice in a large-scale system. This optimized formal approach called Communicating Stream X-Machine (CSX
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e1cf8c96487f021ffa774b9df7ebc5d
https://doi.org/10.5121/csit.2022.121407
https://doi.org/10.5121/csit.2022.121407
