Searching for authors named "Vladimir Levin" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Quasi-convex Functions and Quasi-monotone Operators
- …-monotone Operators Vladimir L. Levin 1 Central Economics and Mathematics Institute, Russian Academy of Sciences…
- Add To MetaCart
-
Automatic Creation of Environment Models via Training
- …Automatic Creation of Environment Models via Training Thomas Ball 1 , Vladimir Levin 1 ,and…
- Cited by 9 (1 self) – Add To MetaCart
-
A Bilingual Specification Environment for Software/Hardware Co-design
- …A Bilingual Specification Environment for Software/Hardware Co-design 1 Vladimir Levin 2 ,Osman…
- Cited by 1 (0 self) – Add To MetaCart
-
An implementation of SDL 92 communication semantics
- …An implementation of SDL 92 communication semantics 1 Vladimir Levin Institute of Information…
- Cited by 2 (1 self) – Add To MetaCart
-
A Refinement Technique in SDL design of a Telephone Exchange
- …@(email omitted); Vladimir Levin Institute of Information Technologies and Electronics (B ILTEN), T UB ITAK, ODT U 06531…
- Cited by 1 (1 self) – Add To MetaCart
-
Combining software and hardware verification techniques
- …@(email omitted); VLADIMIR LEVIN levin@(email omitted); Lucent Technologies, Bell Laboratories, Murray Hill, NJ 07974…
- Cited by 3 (0 self) – Add To MetaCart
-
An Interface Implementation using a Formal Compiler Specification Method
- …An Interface Implementation using a Formal Compiler Specification Method 1 Vladimir Levin…
- Cited by 2 (1 self) – Add To MetaCart
-
Lessons learned from model checking a NASA robot controller
- … VLADIMIR LEVIN vladlev@(email omitted); Microsoft Corporation, One Microsoft Way, Redmond, WA 98052, USA…
- Cited by 2 (0 self) – Add To MetaCart
-
A verification engine for SDL specification of communication protocols
- … UB ITAK-B ILTEN, Ankara, ella@(email omitted);) 2 Vladimir Levin (T UB ITAK-B ILTEN, Ankara…
- Cited by 2 (1 self) – Add To MetaCart
-
Model Checking for an Executable Subset of UML
- … Model Checking for an Executable Subset of UML Fei Xie1 Vladimir Levin2 James C. Browne1 1…
- Cited by 12 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
