Author:
Timofeyev V. G.,Chebotarev A. N.
Publisher
Springer Science and Business Media LLC
Reference4 articles.
1. A. N. Chebotarev and A. L. Golovinskiy, “Provably correct design of operation algorithms of reactive systems,” Artificial Intellect, No. 3, 771–780 (2008).
2. A. N. Chebotarev, “Approach to functional specification of automaton systems. I,” Cybernetics and Systems Analysis, 29, No. 3, 330–337 (1993).
3. A. N. Chebotarev, “Synthesis of an algorithm from its logical specification,” USiM, No. 5, 53–60 (2004).
4. A. N. Chebotarev, “Synthesis of a procedural representation of an automaton specified in the logical language L*. I,” Cybernetics and Systems Analysis, 33, No. 4, 505–515 (1997). 345.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献