171
Voted
DFG
15 years 5 months ago
2004 Springer  110
click to vote
DFG
15 years 4 months ago
2004 Springer 
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
114
click to vote
DFG
15 years 5 months ago
2004 Springer 
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
85
Voted
DFG
15 years 5 months ago
2004 Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
117
Voted
DFG
15 years 4 months ago
2004 Springer 
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
|
Operating System