Representation of the program model using predicates

The object of research in this article is the process of modeling programs and their subsequent development. The purpose of this article is to develop a methodology for describing and building software models in the form of nondeterministic finite automat. To achieve this goal, a task was set to imp...

Celý popis

Podrobná bibliografia

Vydané v:	Radìoelektronnì ì komp'ûternì sistemi (Online) Ročník 2024; číslo 1; s. 6 - 16
Hlavní autori:	Holub, Serhii, Salapatov, Volodymyr, Nemchenko, Vadym
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	National Aerospace University «Kharkiv Aviation Institute 28.02.2024
Predmet:	an indeterminate finite automaton predicate procedural programming language temporal logic
ISSN:	1814-4225, 2663-2012
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!