Вы здесь

Levin V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft 2004 Ball T., Cook B., Levin V., Rajamani S. K. Lecture Notes in Computer Science 21.05.2004
СТ Automatic Creation of Environment Models via Training 2004 Ball T., Levin V., Xie F. Lecture Notes in Computer Science 15.05.2004
СТ Translating Software Designs for Model Checking 2004 Xie F., Levin V., Kurshan R. P., Browne J. C. Lecture Notes in Computer Science 16.04.2004
СТ A Bilingual Specification Environment for Software/Hardware Co-design 1996 Levin V., Bounimova E., Basbugoglu O., Inan K. ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 06.12.1996
СТ An Interface Implementation using a Formal Compiler Specification Method 1996 Levin V., Bounimova E., Inan K. ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 06.12.1996
СТ Concepts for a C++ Animator Design for SDL-92 1994 Inan K., Levin V., Sulimov A., Yenigun H. ИСИ СО РАН Specification, Verification and Net Models of Concurrent Systems 28.11.1995
СТ Algebraically Provable Specification of Optimized Compilations 1993 Levin V. Lecture Notes in Computer Science 20.11.1993