A temporal logic-based approach for the description of object behavior evolution

DOI10.1007/BF01556348zbMath1004.68548MaRDI QIDQ1353949

Constantin Arapis

Publication date: 13 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

A temporal logic-based approach for the description of object behavior evolution

Uses Software

• Eiffel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non first normal form relations: An algebra allowing data restructuring
• The relational model with relation-valued attributes
• Monitoring dynamic integrity constraints based on temporal logic
• Temporal aspects of logical procedure definition
• A temporal logic-based approach for the description of object behavior evolution
• Specifying Concurrent Program Modules
• Synthesis of Communicating Processes from Temporal Logic Specifications
• The Format Model
• Efficient Temporal Satisfiability
• A relational model of data for large shared data banks
• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds

This page was built for publication: A temporal logic-based approach for the description of object behavior evolution