Letichevsky, A. Ad.; Kapitonova, Yu. V.; Volkov, V. A.; Letichevsky, A. A.; Baranov, S. N.; Kotlyarov, V. P.; Weigert, T. Systems specification by basic protocols. (English. Russian original) Zbl 1103.68370 Cybern. Syst. Anal. 41, No. 4, 479-493 (2005); translation from Kibern. Sist. Anal. 2005, No. 4, 3-21 (2005). MSC: 68M12 PDFBibTeX XMLCite \textit{A. Ad. Letichevsky} et al., Cybern. Syst. Anal. 41, No. 4, 479--493 (2005; Zbl 1103.68370); translation from Kibern. Sist. Anal. 2005, No. 4, 3--21 (2005) Full Text: DOI
Letichevsky, A.; Kapitonova, J.; Letichevsky, A. jun.; Volkov, V.; Baranov, S.; Weigert, T. Basic protocols, message sequence charts, and the verification of requirements specifications. (English) Zbl 1101.68375 Comput. Netw. 49, No. 5, 661-675 (2005). MSC: 68M12 PDFBibTeX XMLCite \textit{A. Letichevsky} et al., Comput. Netw. 49, No. 5, 661--675 (2005; Zbl 1101.68375) Full Text: DOI
Baranov, S. N.; Volkov, V. A.; Godlevskii, A. B.; Kapitonova, Yu. V.; Letichevsky, A. A. Verification of software requirements on program systems represented by attribute transition systems. (English. Russian original) Zbl 1097.68539 Cybern. Syst. Anal. 39, No. 6, 783-789 (2003); translation from Kibern. Sist. Anal. 2003, No. 6, 3-11 (2003). MSC: 68N30 68T15 PDFBibTeX XMLCite \textit{S. N. Baranov} et al., Cybern. Syst. Anal. 39, No. 6, 783--789 (2003; Zbl 1097.68539); translation from Kibern. Sist. Anal. 2003, No. 6, 3--11 (2003) Full Text: DOI
Baranov, S. N. The MINISAC system for symbolic computation. (English. Russian original) Zbl 0833.68069 Program. Comput. Softw. 19, No. 3, 129-136 (1993); translation from Programmirovanie 1993, No. 3, 62-73 (1993). MSC: 68W30 PDFBibTeX XMLCite \textit{S. N. Baranov}, Program. Comput. Softw. 19, No. 3, 1 (1993; Zbl 0833.68069); translation from Programmirovanie 1993, No. 3, 62--73 (1993)
[Looze, J.; Mikolajchak, B.; Mikhal’ski, A.; Miadovich, Z.; Ivich, I.; Slavik, L.; Sapekha, K.; Al’bitski, A.; Yasinski, N.; Perkovski, M.; Negst, M.; Franke, G.; Nad’, I.; Slavin, L.; Kras’nevski, A.; Agibalov, G.; Evtushenko, N.; Ambartsumyan, A.; Potekhin, A.; Yankovskaya, A.; Baranov, S.; Sinev, V.; Kerntopf, P.; Gerber, S.; Haubold, K.; Servit, M.; Fris, Z.; Schmidt, J.] Automata theory in application to the design of discrete devices and systems. Proceedings of Symposia held in Jachranka, April 18-23, 1977, and in Donovaly, May 8-13, 1978. (Teoriya avtomatov v primenenii k proektirovaniyu diskretnykh ustrojstv i sistem). (Russian) Zbl 0486.68002 Tanulmanyok, 99. Magyar Tudomanyos Akademia, Szamitastechnikai es Automatizalasi Kutato Intezete. Budapest: Computer and Automation Institute of the Hungarian Academy of Sciences. 246 p. (1980). MSC: 68-06 00Bxx 68Q45 94C10 03B50 PDFBibTeX XML