Open AccessGeneral model of real-time modular computer systems operation for checking acceptability of such systems configurations
Author(s) -
Alevtina B. Glonina
Publication year - 2017
Publication title -
bulletin of the south ural state university series computational mathematics and software engineering
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom