Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 1999

  1. Grinev M. Semi-structured Data Management Systems (in Russian). Open System Magazine 5-6, 1999, Open Systems Publications.
  2. I.Burdonov, A.Kosatchev, A.Petrenko, D.Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. Proceedings of Formal Method Congress, Toulouse, France, 1999, LNCS, No. 1708, pp.608-621.
  3. Victor Ivannikov, Sergei Morozov, Vitaly Semenov, Oleg Tarlapan, Reinhard Rasche, Thomas Jung Parallel object-oriented modeling and visualization in OpenMV environment. Proceedings of GraphiCon'99. Publisher: Dialog-MSU, 1999. Pp. 206-213.
  4. Stanislav Klimenko, Igor Nikitin, Valery Burkin, Vitaly Semenov, Oleg Tarlapan, Hans Hagen Visualization in string theory. Proceedings of GraphiCon'99. Publisher: Dialog-MSU, 1999. Pp. 301-308.

Back to the list of publications of ISP RAS