Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Alsayaydeh, J. A. J."'
Publikováno v:
Scopus-Elsevier
In this paper, the question on the expediency of checking the model, the model checking method is applied to, is discussed. To this end, corresponding technique has been proposed. Named technique is based on differentiation between the concepts of an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5743e23f4f73747ed1513773c2bbbe17
https://www.bib.irb.hr/1151089
https://www.bib.irb.hr/1151089
Autor:
Alsayaydeh, J. A. J., Maslan Zainon, Oliinyk, A., Aziz, A., Rahman, A. I. A., Baharudin, Z. A.
Publikováno v:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15857a81aef6f959d805913c519babc3
http://www.scopus.com/inward/record.url?eid=2-s2.0-85099927406&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85099927406&partnerID=MN8TOARS
Autor:
Alsayaydeh, J. A. J., Aziz, A., Rahman, A. I. A., Salim, S. N. S., Maslan Zainon, Baharudin, Z. A., Abbasi, M. I., Khang, A. W. Y.
Publikováno v:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::19f00719e36a0fd5f74061267667ceac
http://www.scopus.com/inward/record.url?eid=2-s2.0-85101013153&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85101013153&partnerID=MN8TOARS