先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

期刊


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

2011, vol.45, no.1/3 2011, vol.45, no.4/6

题名作者出版年年卷期
Formalisation des relations temporelles dans un contexte d'accompagnement automatique: Strategies de synchronisation et gestion des erreursJose Echeveste; Arshia Cont; Jean-Louis Giavitto; Florent Jacquemard20112011, vol.45, no.1/3
Integration de la synthese de controleurs discrets dans un langage de programmationGwenael Delavai; Eric Rutten; Herve Marchand20112011, vol.45, no.1/3
Coercition temporelle de reseaux de PetriDidier Lime; Claude Martinez; Olivier H. Roux20112011, vol.45, no.1/3
Identification des etats equivalents dans l'approche modaleGregory Faraut; Laurent Pietrac; Eric Niel20112011, vol.45, no.1/3
Simulation en temps continu pour la commande orientee evenements des systemes stochastiques a commutation Modelisation, controle et simulation des systemes stochastiques a commutationSimona Mihaita; Stephane Mocanu20112011, vol.45, no.1/3
Analyse de latence et fraicheur pire cas sur systemes avioniques modulaires integresMichael Lauer; Frederic Boniol; Jerome Ermont; Claire Pagetti20112011, vol.45, no.1/3
Echantillonnage dependant de l'etat pour les systemes avec perturbations et retardsChristophe Fiter; Laurentiu Hetel; Wilfrid Perruquetti; Jean-Pierre Richard20112011, vol.45, no.1/3
Diagnostic des systemes embarques critiques Application a la carte de commande du systeme de freinage d'un trainRamla Saddem; Armand Toguyeni; Moncef Tagina20112011, vol.45, no.1/3
Approche pour l'integration du raffinement formel dans le processus de conception des SoCsHocine Mokrani; Rabea Ameur-Boulifa; Sophie Coudert; Emmanuelle Encrenaz-Tiphene20112011, vol.45, no.1/3
Echantillonnage preferentiel pour le model checking statistiqueBenoit Barbot; Serge Haddad; Claudine Picaronny20112011, vol.45, no.1/3
12



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