Author: Landauer C.
Publisher: Elsevier
ISSN: 1571-0661
Source: Electronic Notes in Theoretical Computer Science, Vol.4, Iss.1, 2004-01, pp. : 1-12
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Previous Menu Next
Abstract
Related content
Specifying Real-Time Systems in Rewriting Logic
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. :
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems, Vol. 14, Iss. 1, 2004-01 ,pp. :
Supervisor Reduction for Discrete-Event Systems
By Su R. Wonham W.M.
Discrete Event Dynamic Systems, Vol. 14, Iss. 1, 2004-01 ,pp. :