期刊


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

2014, vol.48, no.1 2014, vol.48, no.2 2014, vol.48, no.3 2014, vol.48, no.4 2014, vol.48, no.5 2014, vol.48, no.6
2014, vol.48, no.7

题名作者出版年年卷期
Common Knowledge in Well-Structured Perfect Recall SystemsN. O. Garanina20142014, vol.48, no.7
Software Defect Detection by Combining Bounded Model Checking and Approximations of FunctionsM. Kh. Akhin; M. A. Belyaev; V. M. Itsykson20142014, vol.48, no.7
A Formal Model and Verification Problems for Software Defined NetworksV. A. Zakharov; R. L. Smelyansky; E. V. Chemeritsky20142014, vol.48, no.7
Automatic C Program Verification Based on Mixed Axiomatic SemanticsI. V. Maryasov; V. A. Nepomnyaschy; A. V. Promsky; D. A. Kondratyev20142014, vol.48, no.7
A Formal Approach to Test Scenarios Generation Based on GuidesP. D. Drobintsev; V. P. Kotlyarov; A. A. Letichevsky20142014, vol.48, no.7
Construction and Verification of PLC LD Programs by the LTL SpecificationE. V. Kuzmin; V. A. Sokolov; D. A. Ryabukhin20142014, vol.48, no.7
Designing and Development of an Imitation Model of a Multitenant Database ClusterE. A. Boytsov20142014, vol.48, no.7
Steady States of a Delay Differential Equation of an Insect Population's DynamicsS. A. Kashchenko20142014, vol.48, no.7
Corner Boundary Layer in Nonlinear Elliptic Problems Containing First-Order DerivativesV. F. Butuzov; I. V. Denisov20142014, vol.48, no.7
Influence of Delayed Feedback Control on the Stability of Periodic OrbitsV. G. Bogaevskaya; I. S. Kashchenko20142014, vol.48, no.7
123



制造业外文文献服务平台