Temporal specifications with XTUS. A hierarchical algebraic approach

zbMATH Open1161.68574MaRDI QIDQ3521797FDOQ3521797

Authors: Antoni Ligȩza, Maroua Bouzid 

Publication date: 26 August 2008

Recommendations

• Temporal specifications with FuXTUS. A hierarchical fuzzy approach
• scientific article; zbMATH DE number 3936494
• Time representation: A taxonomy of temporal models
• Temporal databases: From theory to applications
• Temporal algebra

zbMATH Keywords

representation of temporal knowledgeTime Unit System

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Temporal specifications with FuXTUS. A hierarchical fuzzy approach
• Title not available (Why is that?)

This page was built for publication: Temporal specifications with XTUS. A hierarchical algebraic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3521797)