在“SpringerLink电子期刊”中,命中:386条,耗时:小于0.01 秒
1. Development of a direct-dynamic model for a passenger vehicle on MATLAB Simulink
刊名:Journal of the Brazilian Society of Mechanical Sciences and Engineering
出版年:2017
5. A Two-Way Path Between Formal and Informal Design of Embedded Systems
刊名:Lecture Notes in Computer Science
出版年:2017
10. Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow
刊名:Lecture Notes in Computer Science
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(386)
题名(50)
关键词(82)
文摘(345)
按出版年细分(386)
2017年(10)
2016年(45)
2015年(43)
2014年(54)
2013年(53)
2012年(40)
2011年(9)
2010年(16)
2009年(19)
2008年(18)
2007年(26)
2006年(19)
2005年(20)
2004年(6)
2003年(4)
2002年(3)
2000年及以前(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.