THE ISSUES OF CREATING A FORMALIZED MODEL OF THE TECHNICAL DOCUMENTATION Journal title: Международный научный журнал "Интернаука" Authors: D. X. Baratov Subject(s):
Computer Games as Virtual Environments for Safety-Critical Software Validation Journal title: Journal of Information and Organizational Sciences Authors: Štefan Korečko, Branislav Sobota Subject(s): Computer and Information Science, Information Technology, Computer Science, Information Systems
Applying Floyd’s Inductive Assertions Method for Verification of Generalized Net Models Without Temporal Components Journal title: International Journal of Advanced Computer Science & Applications Authors: Magdalina Todorova, Nora Angelova Subject(s):
Enhancing Formal Methods Integration with ACP2Petri Journal title: Journal of Information and Organizational Sciences Authors: Slavomír Šimoňák, Martin Šolc Subject(s): Computer and Information Science, Information Technology, Computer Science, Information Systems
Towards Standardized Conformance Test Suite for ISO Transport Layer Protocol Journal title: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY Authors: Hazem Mostafa El-Gendy, Ihab ElSayed Talkhan Subject(s):
Formal Methods in Information Security Journal title: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY Authors: AJAYI ADEBOWALE, NICULAE GOGA, OTUSILE OLUWABUKOLA, ABEL SAMUEL Subject(s):