78 search results - page 6 / 16 » A Temporal Logic Approach to the Specification of Reconfigur... |
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
ENTCS
2006
13 years 7 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
SBCCI
2004
ACM
14 years 28 days ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
CONCUR
1990
Springer
13 years 11 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
TCS
2008
13 years 7 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...