909 search results - page 7 / 182 » Temporal Logic Case Study |
IANDC
2002
13 years 8 months ago
2002
KES
2005
Springer
14 years 2 months ago
2005
Springer
SIGSOFT
2007
ACM
14 years 9 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...
ARTS
1997
Springer
14 years 27 days 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...
DSVIS
1998
Springer
14 years 29 days 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 ...