国家工程技术图书馆第一分馆 | 机械分馆 | 机械工业信息研究院 | library.gmachineinfo.com

期刊

全部

2001, vol.49, no.1	2001, vol.49, no.10	2001, vol.49, no.11	2001, vol.49, no.12	2001, vol.49, no.2	2001, vol.49, no.3
2001, vol.49, no.4	2001, vol.49, no.5	2001, vol.49, no.6	2001, vol.49, no.7	2001, vol.49, no.8	2001, vol.49, no.9

题名	作者	出版年	年卷期
Technical application of hybrid modeling methods to specify function block systems	Udo Enste; Ulrich Epple	2001	2001, vol.49, no.2
Modeling and validation of hybrid systems using extended timestamp nets	Hans-Michael Hanisch; Kurt Lautenbach; Carlo Simon; Jan Thieme	2001	2001, vol.49, no.2
Approaches to the formal verification of hybrid systems	Stefan Kowalewski; Peter Herrmann; Sebastian Engell; Ralf Huuck; Heiko Krumm; Yassine Lakhech; Ben Lukoschus; Heinz Treseler	2001	2001, vol.49, no.2
Reachability analysis of hybrid systems	Gero Nennigner; Bernhard Nixdorf; Volker Krebs; Jan Lunze	2001	2001, vol.49, no.2
Active deadlock avoidance for discrete event systems	Michael Seidl	2001	2001, vol.49, no.2