Open AccessGeneral model of real-time modular computer systems operation for checking acceptability of such systems configurations
Author(s) -
А.Б. Глонина,
А.Б. Глонина
Publication year - 2017
Publication title -
vestnik ûžno-uralʹskogo gosudarstvennogo universiteta. seriâ vyčislitelʹnaâ matematika i informatika
Language(s) - English
Resource type - Journals
eISSN - 2410-7034
pISSN - 2305-9052
DOI - 10.14529/cmse170404
Subject(s) - stopwatch , computer science , correctness , modular design , automaton , model checking , formalism (music) , scheduling (production processes) , trace (psycholinguistics) , formal verification , software , real time computing , theoretical computer science , algorithm , programming language , mathematics , mathematical optimization , art , musical , linguistics , statistics , philosophy , visual arts