The impact of delayed sensor-alarm data upon a diagnostic inference engine appears not to be well appreciated. In this paper we illustrate the effect of sensor latency, and we pro...
Ozgur Erdinc, Craig Brideau, Peter Willett, Thia K...
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...