期刊


ISSN1269-6935
刊名Journal Europeen des Systemes Automatises
参考译名欧洲自动化系统杂
收藏年代1998～2024



全部

1998 1999 2000 2001 2002 2008
2009 2010 2011 2012 2013 2014
2016 2017 2018 2019 2020 2021
2022 2023 2024

2002, vol.36, no.1 2002, vol.36, no.10 2002, vol.36, no.2 2002, vol.36, no.3 2002, vol.36, no.4 2002, vol.36, no.5
2002, vol.36, no.6 2002, vol.36, no.7 2002, vol.36, no.8 2002, vol.36, no.9

题名作者出版年年卷期
Synchronous programming: properties within a reactionCharles Andre; Robert de Simone20022002, vol.36, no.7
Safety properties verification of ladder diagram programsJean-Marc Roussel; Bruno Denis20022002, vol.36, no.7
Theory of regions based synthesis of the maximally permissive and non blocking supervisory controlAsma Ghaffari; Nidhal Rezg; Xiaolan Xie20022002, vol.36, no.7
On the modelling of the dynamical behavior of weighted T-systemsBenoit Trouillet; Ahmer Benasser; Jean-Claude Gentina20022002, vol.36, no.7
Optimal routing in several deterministic queues with two service timesBruno Gaujal; Emmanuel Hyon20022002, vol.36, no.7
Hybrid approximations for continuous systemsMarie-Anne Lefebvre; Herve Gueguen; Jean Buisson20022002, vol.36, no.7
A T-time Petri net extension for real-time task scheduling modellingOlivier H. Roux; Anne-Marie Deplanche20022002, vol.36, no.7
Extracting critical scenarios from a Petri net model using linear logicHamid Demmou; Sarhane Khalfaoui; Nicolas Riviere; Edwige Guilhem20022002, vol.36, no.7
Formal method for timed tests sequences generationFranaoise Simonot-Lion; Laurent Kaiser; Ricardo Santos Marques20022002, vol.36, no.7
An operational semantics for UML interaction: sequencing of actions and local controlJanette Cardoso; Christophe Sibertin-Blanc20022002, vol.36, no.7
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024