Period of time： 2012年2期
Publisher： Springer Publishing Company
Founded in： 1991
Total resources： 20
ISSN： 0924-6703
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Discrete Event Dynamic Systems,volume 15,issue 2
Menu
Min–Max Inequalities and the Timing Verification Problem with Max and Linear Constraints
By Cheng Yiping,Zheng Da-Zhong in (2005)
Discrete Event Dynamic Systems,volume 15,issue 2 , Vol. 15, Iss. 2, 2005-06 , pp.
Access to resources
Recommend
PSPACE-completeness of Modular Supervisory Control Problems*
By Rohloff Kurt,Lafortune Stéphane in (2005)
Discrete Event Dynamic Systems,volume 15,issue 2 , Vol. 15, Iss. 2, 2005-06 , pp.Basic Ideas for Event-Based Optimization of Markov Systems
Discrete Event Dynamic Systems,volume 15,issue 2 , Vol. 15, Iss. 2, 2005-06 , pp.By Cheng Yiping,Zheng Da-Zhong,Rohloff Kurt,Lafortune Stéphane,Cao Xi-Ren in (2005)
Discrete Event Dynamic Systems,volume 15,issue 2 , Vol. 15, Iss. 2, 2005-06 , pp.