Title of article :
Template languages for fault monitoring of timed discrete event processes
Author/Authors :
Pandalai، نويسنده , , D.N.، نويسنده , , Holloway، نويسنده , , L.E.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Keywords :
timedmodels. , Fault detection , discrete event system
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
