中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0929-5585
刊名Design automation for embedded systems
参考译名嵌入系统设计自动化
收藏年代2000～2024



全部

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

2008, vol.12, no.1-2 2008, vol.12, no.3 2008, vol.12, no.4

题名作者出版年年卷期
SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous systemDeepak A. Mathaikutty; Hiren D. Patel; Sandeep K. Shukla; Axel Jantsch20082008, vol.12, no.1-2
A time Petri net-based method for embedded hard real-time software synthesisRaimundo Barreto; Paulo Maciel; Eduardo Tavares; Romulo Devezas Freitas; Meuse Oliveira; Ricardo Massa Lima20082008, vol.12, no.1-2
Mining metadata for composability of IPs from SystemC IP libraryDeepak A. Mathaikutty; Sandeep K. Shukla20082008, vol.12, no.1-2
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systemsTevfik Bultan; Constance Heitmeyer20082008, vol.12, no.1-2
Specifying and proving properties of timed I/O automata using TempoMyla Archer; Hongping Lim; Nancy Lynch; Sayan Mitra; Shinya Umeno20082008, vol.12, no.1-2



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