长垣产业园区科技文献服务平台

期刊


ISSN1049-331X
刊名ACM Transactions on Software Engineering and Methodology
参考译名美国计算机学会软件工程与方法论汇刊
收藏年代2000～2022



全部

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

2000, vol.9, no.2

题名作者出版年年卷期
A generic model for reflective designPanagiotis Louridas; Pericles Loucopoulos20002000, vol.9, no.2
Using a coordination language to specify and analyze systems containing mobile componentsP. Ciancarini; F. Franze; C. Mascolo20002000, vol.9, no.2
SMC: a symmetry-based model checker for verification of safety and liveness propertiesA. Prasad Sistla; Viktor Gyuris; E. Allen Emerson20002000, vol.9, no.2



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