Real Time Systems: the international journal of time critical computing systems Journal

Overview

publication venue for

Guest Editorial: Special issue on formal modeling and analysis of timed systems 2017

Research

keywords

0805 Distributed Computing, 0803 Computer Software