Suchergebnisse - "событийно-ориентированные программы"

Verifcation of event-driven software systems using the specifcation language of cooperating automata objects

Autoren: I. V. Afanasieva F. A. Novikov L. N. Fedorchenko

Quelle: Научно-технический вестник информационных технологий, механики и оптики, Vol 23, Iss 4, Pp 750-756 (2024)

Schlagwörter: верификация, событийно-ориентированные программы, разработка критических систем, регулярные выражения, система управления лифтом, Information technology, T58.5-58.64

Dateibeschreibung: electronic resource

Relation: https://ntv.elpub.ru/jour/article/view/206; https://doaj.org/toc/2226-1494; https://doaj.org/toc/2500-0373

Zugangs-URL: https://doaj.org/article/4d15bf0db4a84e0f8aa8bd180eabb380