期刊


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

2015, vol.49, no.1 2015, vol.49, no.2 2015, vol.49, no.3 2015, vol.49, no.4 2015, vol.49, no.5 2015, vol.49, no.6
2015, vol.49, no.7 2015, vol.49, no.8

题名作者出版年年卷期
Random Model Sampling: Making Craig Interpolation Work when It Should NotMarat Akhin; Sam Kolton; Vladimir Itsykson20152015, vol.49, no.7
Using SPIN for Verification of Multiagent Data AnalysisN. O. Garanina; E. V. Bodin; E. A. Sidorova20152015, vol.49, no.7
Approach to Behavior Scenarios DebuggingP. Drobintsev; V. Kotlyarov; I. Nikiforov; A. Letichevsky; V. Peschanenko20152015, vol.49, no.7
On Network Update Problems for Software Defined NetworksE. V. Chemeritskiy; V. A. Zakharov20152015, vol.49, no.7
Developing a Self-Applicable Verification System. Theory and PracticeD. A. Kondratyev; A. V. Promsky20152015, vol.49, no.7
Construction and Verification of PLC-Programs by LTL-SpecificationE. V. Kuzmin; V. A. Sokolov; D. A. Ryabukhin20152015, vol.49, no.7
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT SolverM. Petrov; K. Gagarski; M. Belyaev; V. Itsykson20152015, vol.49, no.7
Heuristic Algorithms for the Problem of Integer Balancing of a Three-Dimensional Matrix with Constraints of the Second TypeA. V. Smirnov20152015, vol.49, no.7
Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri NetsS. A. Chernenok; V. A. Nepomniaschy20152015, vol.49, no.7
Singularly Perturbed Boundary Value Problem with Multizonal Interior Transitional LayerV. F. Butuzov20152015, vol.49, no.7
12



制造业外文文献服务平台