Вы здесь

Главная

темпоральный

Связанные издания:

Extended Update Functionality in Temporal Databases
First-Order Future Interval Logic
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic
Fixed Points of Buchi automata
Formal Aspects of Component Software: Revised Selected Papers/8th International Symposium, FACS 2011, Oslo, Norway, September 2011
Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010
Formal Semantics of Temporal Epistemic Reflection
Formal Techniques for Systems Specification and Verification
From Falsification to Verification
From the Past to the Future: Executing Temporal Logic Programs
Functional Dependencies Generalized for Temporal Databases that Include Object-Identity
Generalizing the Modal and Temporal Logic of Linear Time
Global Equivalence Proofs for ISTL
Ground Temporal Logic: A Logic for Hardware Verification
Handling Change Management using Temporal Active Repositories
Hybrid Systems in TLA
Implementation Options for Time-Series Data
Implicit Temporal Query Languages: Towards Completeness
Improved Automata Generation for Linear Temporal Logic
Incorporating Real Time into a Concurrent Temporal Logic of Actions
Indexing Valid Time Databases via B+-Trees
Information Processing in Medical Imaging: Proc./22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 2011
Inheritance of Temporal Logic Properties
Integrating Formal Verification Methods of Quantitative Real-Time Properties into a Development Environment for Robot Controllers
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./9th International Conference, CPAIOR 2012, Nantes, France, May 2012
It Usually Works: The Temporal Logic of Stochastic Systems
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Liveness and Fairness in Duration Calculus
Logical Specifications of Infinite Computations
Logic Design Assistance Using Temporal Logic Based Language Tokio
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
LoT: Dynamic Declustering of TSB-Tree Nodes for Parallel Access to Temporal Data
Managing Qualitative Temporal Information: Expressiveness vs. Complexity
Managing Schema Evelution Using a Temporal Object Model
Methods for Mu-calculus Model Checking: A Tutorial
Modal and Temporal Logics for Processes
Model Checking Durational Probabilistic Systems (Extended Abstract)
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Model Checking of Probabilistic and Nondeterministic Systems
Model Checking Partial State Spaces with 3-Valued Temporal Logics
Model-Checking with Coverability Graphs
Model Checking with Multi-Valued Logics
Modeling Concurrency with Partial Orders
Modeling Highly Variable Spatio-Temporal Data
Modeling Histories in Object DBMS
Modeling Phenomena in Spatiotemporal Databases: Desiderata and Solutions
Modeling Temporal Aspects of Hypermedia Communication
Modeling Time: Adequacy of Three Distinct Time Concepts for Temporal Databases
Multiple Visual Representation of Temporal Data
Nesting Until and Since in Linear Temporal Logic