×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
iosif-itkin documents
Science
A Method of Building Extended Finite State Machines According to HDL-Description Based on Static Code Analysis
Science
A System of Deductive Verification of Predicate Programs
Science
Approaches to the Fragmentation of a Paravirtualization System
Science
On a Method of Programmatically Configurable Networks Balancing
Science
A runtime verification system for Software Defined Networks
Science
Extended High-Level C-Compatible Memory Model with Limited Low-Level Pointer Cast Support for Jessie Intermediate Language
Science
A Method of Reducing Computational Complexity in Verification of Programming Probability Models
Science
On Modelling of Coordinated Behavior of PLC Sensors
Science
Alias Calculus for a Simple Imperative Language with Decidable Pointer Arithmetic
Science
The Analysis of Test Scenario Coverage for a UCM-Model
Science
Trading Day Logs Replay Limitations and Test Tools Applicability
Science
Lightweight Static Analysis for Data Race Detection in Operating System Kernels
Education
IT Education Kostroma 22 May 2013
Education
Automated Software Development and Verification Technologies in the Aerospace Industry
Business
SEC Regulation SCI Automation Review Compliance
Education
Model Driven Developing & Model Based Checking: Applying Together
Education
Parametrized Model Checking of Fault Tolerant Distributed Algorithms by Abstraction (part 2)
Documents
IBM - Managing Uncertain Data at Scale
Career
Company Introduction in Saratov State University
Education
Лекция в СГТУ: Информационные системы и технологическая инфраструктура биржевой торговли
Technology
EXTENT October 2011 - Test Automation for Trading Systems
< Prev