Browsing by Subject "Uniform framework"
Now showing items 1-1 of 1
-
Article
A general resource framework for real-time systems
(2004)The paper describes a formal framework for designing and reasoning about resource-constrained systems. The framework is based on a series of process algebraic formalisms which have been previously developed to describe and ...