期刊


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

2012, vol.46, no.1 2012, vol.46, no.2 2012, vol.46, no.3 2012, vol.46, no.4 2012, vol.46, no.5 2012, vol.46, no.6
2012, vol.46, no.7

题名作者出版年年卷期
Verification of Backtracking and Branch and Bound Design TemplatesN. V. Shilov20122012, vol.46, no.7
C Program Verification: Verification Condition Explanation and Standard LibraryA. V. Promsky20122012, vol.46, no.7
Verification of Telecommunication Systems Specified Using Communicating Finite-State Automata Using Colored Petri NetsD. M. Beloglazov; M. Yu. Mashukov; V. A. Nepomnyashchiy20122012, vol.46, no.7
A SPIN-based Approach for Detecting Vulnerabilities in C ProgramsN. G. Kushik; A. Mammar; A. Cavalli; N. V. Yevtushenko; W. Jimenez; E. Montes de Oca20122012, vol.46, no.7
A Formal Application Model for Code and Test GenerationS. N. Baranov; V. P. Kotlyarov20122012, vol.46, no.7
A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter SystemsA. V. Klimov20122012, vol.46, no.7
Automatic Data Race Detection in SystemC ModelsA. V. Zakharov; M. J. Moiseev20122012, vol.46, no.7
Inhibitor Petri Net Executing an Arbitrary Given Markov Normal AlgorithmD. A. Zaitsev20122012, vol.46, no.7
Using Dependencies to Improve Precision of Code AnalysisM. I. Ghikhikh; V. M. Itsykson; V. A. Tsesko20122012, vol.46, no.7
Optimisation Procedures in Affine Model CheckingN. O. Garanina20122012, vol.46, no.7
123456



制造业外文文献服务平台