909 search results - page 7 / 182 » Temporal Logic Case Study |
88
Voted
IANDC
2002
15 years 2 months ago
2002
100
Voted
KES
2005
Springer
15 years 8 months ago
2005
Springer
134
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
152
Voted
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
130
Voted
DSVIS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...