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

期刊


ISSN0146-4116
刊名Automatic Control and Computer Sciences
参考译名自动控制与计算机科学
收藏年代1999～2023



全部

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

2013, vol.47, no.1 2013, vol.47, no.2 2013, vol.47, no.3 2013, vol.47, no.4 2013, vol.47, no.5 2013, vol.47, no.6
2013, vol.47, no.7

题名作者出版年年卷期
Performance Analysis of Trickles and TCP Transport Protocols under High-load Network ConditionsM. A. Nikitinskiy; D. Ju. Chalyy20132013, vol.47, no.7
Tail Recursion Transformation in Functional Dataflow Parallel ProgramsA. I. Legalov; O. V. Nepomnyaschy; I. V. Matkovsky; M. S. Kropacheva20132013, vol.47, no.7
Formal Verification of Programs in the Functional Data-flow Parallel LanguageM. S. Kropacheva; A. I. Legalov20132013, vol.47, no.7
About Algebraic Program Models with ProceduresR. I. Podlovchenko; A. E. Molchanov20132013, vol.47, no.7
CPN Tools-Assisted Simulation and Verification of Nested Petri NetsL. W. Dworzanski; I. A. Lomazova20132013, vol.47, no.7
Verification of Computing Grids with Special Edge Conditions by Infinite Petri NetsD. A. Zaitsev20132013, vol.47, no.7
Deductive Verification of Telecommunication Systems Written in CI. S. Anureev20132013, vol.47, no.7
Deductive Verification of the Sliding Window ProtocolD. A. Chkliaev; V. A. Nepomniaschy20132013, vol.47, no.7
Tree Slicing: Finding Intertwined and Gapped Clones in One Simple StepM. Akhin; V. Itsykson20132013, vol.47, no.7
An Approach to Creating Concretized Test Scenarios within Test Automation Technology for Industrial Software ProjectsA. Kolchin; A. Letichevsky; V. Peschanenko; P. Drobintsev; V. Kotlyarov20132013, vol.47, no.7
123



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