135
Voted
DFG
15 years 5 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...
130
click to vote
DFG
15 years 5 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...
125
click to vote
DFG
15 years 7 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 ...
117
click to vote
DFG
15 years 5 months ago
2004 Springer 
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
|
Operating System