Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
темпоральный
Связанные издания:
Temporal Verification Diagrams
Temporal Verification of Simulation and Refinement
TEMPTOOL - A Tool for Temporal Data Modeling
The Abductive Event Calculus as a General Framework for Temporal Databases
The Complexity of Propositional Linear Temporal Logics in Simple Cases
The Computational Complexity of Satisfiability of Temporal Horn Formulas in Propositional Linear-Time Temporal Logic
The Consensus Glossary of Temporal Database Concepts - February 1998 Version
The ORES Temporal DBMS and the ERT-SQL Query Language
The Reference Component of PEP
The representation of linguistic information in an approach used for modelling temporal knowledge in discourses
The Temporal Reasoning Systems TimeGraph I-II
The Temporal Structure of a Discourse and Verb Tense Determination
The Time Dimension in Conceptual Modelling
The Time Dimension of Neural Network Models
Three dimensional versioning
Timed Tree Automata with an Application to Temporal Logic
Time for Concurrency
Time in Neural Networks
Time Series Relation Data Model
TLA in Pictures
TOOA: A Temporal Object-Oriented Algebra
TOOSQL - A Temporal Object-Oriented Query Language
Towards a Compositional Approach to the Design and Verification of Distributed Systems
Towards a Duration Calculus Proof Assistant in PVS
Towards an Agent-Oriented Framework for Specification of Information Systems
Towards an Infrastructure for Temporal Databases: Report of an Invitational ARPA/NSF Workshop
Towards First-Order Concurrent MetateM
Transitioning Temporal Support in TSQL2 to SQL3
Translating a Continuous-Time Temporal Logic into Timed Automata
Translation of a High-Level Temporal Model into Lower Level Models: Impact of Modeling at Different Description Levels
Unifying Temporal Data Models via a Conceptual Model
Updates and Application Migration Support in an ODMG Temporal Extension
User Interface Evaluation of a Direct Manipulation Temporal Visual Query Language
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models
Using a Theorem Prover for Reasoning about Concurrent Algorithms
Using Database Versions to Implement Temporal Integrity Constraints
Using Temporal Logic in the Compositional Specification of Concurrent Systems
Verification and Specification of Concurrent Programs
Verification Methods for the Divergent Runs of Clock Systems
Verification of Open Systems
Verification of Systolic Architecture Designs
Verification Tools for Finite-State Concurrent Systems
Verifying Hybrid Systems
Verifying Liveness by Augmented Abstraction
Visual Abstractions for Temporal Verification
Web Technologies and Applications: Proc./16th Asia-Pacific Web Conference, APWeb 2014, Changsha, China, September 2014
Why so Many Temporal Logics Climb up the Trees?
Алгоритм анализа свойств поведения временных сетей Петри с использованием темпоральной логики
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Применение темпоральной логики для спецификации поведения программных систем
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
следующая ›
последняя »