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):
Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications Journal title: International Journal of Innovative Research in Computer Science and Technology Authors: Kaoutar Hafdi, Abdelaziz Kriouile, Abderahman Kriouile Subject(s): Electrical and Electronic Engineering, Chemical Engineering, Civil Engineering, Computer Science, Artificial Intelligence, Computer Science, Information Systems, Computer Science, Interdisciplinary Applications, Engineering, Multidisciplinary, Engineering, Civil, Computer Science, Cybernetics, Computer Science, Theory & Methods, Computer Science, Software Engineering
