期刊


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



全部

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 2025

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-2025