1052 search results - page 23 / 211 » The Regular Real-Time Languages |
159
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
142
Voted
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
116
Voted
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
132
click to vote
ISOLA
2007
Springer
15 years 9 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
125
Voted
LADS
2007
Springer
15 years 9 months ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...