1980 search results - page 49 / 396 » Compositional Model Checking of Real Time Systems |
133
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
119
click to vote
TII
2008
15 years 3 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
145
click to vote
CORR
2010
Springer
15 years 17 days ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
115
click to vote
WSC
1997
15 years 4 months ago
1997
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
150
click to vote
LCTRTS
1998
Springer
15 years 7 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...