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 16,issue 2
Menu
Model Checking of Time Petri Nets Using the State Class Timed Automaton
By Lime Didier,Roux Olivier in (2006)
Discrete Event Dynamic Systems,volume 16,issue 2 , Vol. 16, Iss. 2, 2006-04 , pp.
Access to resources
Recommend
A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal-Difference Learning
By Choi David,Roy Benjamin in (2006)
Discrete Event Dynamic Systems,volume 16,issue 2 , Vol. 16, Iss. 2, 2006-04 , pp.Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra
By Hamaci S.,Boimond J.-L.,Lahaye S. in (2006)
Discrete Event Dynamic Systems,volume 16,issue 2 , Vol. 16, Iss. 2, 2006-04 , pp.A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
By Takai Shigemasa,Ushio Toshimitsu in (2006)
Discrete Event Dynamic Systems,volume 16,issue 2 , Vol. 16, Iss. 2, 2006-04 , pp.Constrained Ordinal Optimization—A Feasibility Model Based Approach
By Guan Xiaohong,Song Chen,Ho Yu-Chi,Zhao Qianchuan in (2006)
Discrete Event Dynamic Systems,volume 16,issue 2 , Vol. 16, Iss. 2, 2006-04 , pp.