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

期刊


ISSN0178-9449
刊名Fortschritt-Berichte VDI
参考译名德国工程师协会志，进展报告，第12辑：运输技术和运输工具技术
收藏年代2001～2024



全部

2001 2002 2003 2004 2005 2006
2007 2008 2009 2010 2011 2012
2013 2014 2015 2016 2017 2018
2019 2020 2021 2022 2023 2024

2003, no.522 2003, no.523 2003, no.524 2003, no.525 2003, no.526 2003, no.527
2003, no.528 2003, no.529 2003, no.530 2003, no.531 2003, no.532 2003, no.533
2003, no.534 2003, no.535 2003, no.536 2003, no.537 2003, no.538 2003, no.539 part1
2003, no.539 part2 2003, no.540 2003, no.541 2003, no.542 2003, no.543 2003, no.544
2003, no.545 2003, no.546 2003, no.547 2003, no.548 2003, no.549 2003, no.550
2003, no.551 2003, no.552 2003, no.553 2003, no.554 2003, no.555 2003, no.556
2003, no.557 2003, no.558 2003, no.559 2003, no.560 2003, no.561

题名作者出版年年卷期
UML - based Specification of a Railway Interlocking and Signalling SystemJiri Zahradnik; Karol Rastocny; Ales Janota20032003, no.535
Functional Modelling and Simulation of Train Control SystemsMichael Meyer zu Horste20032003, no.535
Qualitative and quantitative description of reliability characteristics in availability/safety diagramsE. Schnieder20032003, no.535
Simulation of a complex railway Station with a Petri Nets based interlocking modelGabriele Malavasi; Pietro Raponi; Stefano Ricci; Carlo Spellucci20032003, no.535
A Railway demonstrator model for experimental investigation of integrated specific ation techniquesFrank Hansel; Stefan Konig; Roman Slovak; Eckehard Schnieder20032003, no.535
Software Specification and Development in the Domain of Railway SignallingBalazs Saghi; Geza Tarnai20032003, no.535
Formal Safety Analysis in Transportation ControlA. Thums; G. Schellhorn20032003, no.535
Integration of Message Sequence Charts and Petri Nets in the System Design ProcessOlaf Kluge20032003, no.535
Process Model for the Development of System Requirements Specifications for Railway SystemsFriedemann Bitsch20032003, no.535
Verification of a Radio-based Signaling System Using ScenariosJochen Klose; Bernd Westphal20032003, no.535
12



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