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

期刊


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

2022, vol.56, no.1 2022, vol.56, no.2 2022, vol.56, no.3 2022, vol.56, no.4 2022, vol.56, no.5 2022, vol.56, no.6
2022, vol.56, no.7 2022, vol.56, no.8

题名作者出版年年卷期
Autotuning Parallel Programs by Model CheckingGaranina, N. O.; Gorlatch, S. P.20222022, vol.56, no.7
On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating TransformationsKosolapov, Y. V.; Borisov, P. D.20222022, vol.56, no.7
An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current DefectogramsKuzmin, E. V.; Gorbunov, O. E.; Plotnikov, P. O.; Tyukin, V. A.; Bashkin, V. A.20222022, vol.56, no.7
Transformation of Functional Dataflow Parallel Programs into Imperative ProgramsVasilev, V. S.; Legalov, A. I.; Zykov, S. V.20222022, vol.56, no.7
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal LogicGnatenko, A. R.; Zakharov, V. A.20222022, vol.56, no.7
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer SystemKondratyev, D. A.20222022, vol.56, no.7
LTL-Specification of Counter MachinesKuzmin, E. V.20222022, vol.56, no.7
On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code (vol 55, pg 827, 2021)Kosolapov, Y. V.20222022, vol.56, no.7
Online Testing of Dynamic Reconfigurations w.r.t. Adaptation PoliciesDadeau, F.; Gros, J. -Ph.; Kouchnarenko, O.20222022, vol.56, no.7
An Algorithm for Finding Feedback in a Problem with Constraints for One Class of Nonlinear Control SystemsDmitriev, M. G.; Murzabekov, Z. N.; Mirzakhmedova, G. A.20222022, vol.56, no.7
12



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