ARTS
1997
Springer
15 years 11 days ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
ARTS
1997
Springer
15 years 29 days ago
1997
Springer
100
click to vote
ARTS
1997
Springer
15 years 29 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...
ARTS
1997
Springer
15 years 29 days ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
ARTS
1997
Springer
15 years 29 days ago
1997
Springer
81
Voted
ARTS
1997
Springer
15 years 29 days ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...