Temporal specifications with XTUS. A hierarchical algebraic approach

MaRDI QIDQ3521797zbMATH OpenFDO

Authors Antoni Ligȩza, Maroua Bouzid

Publication date 26 August 2008

zbMATH Keywords

representation of temporal knowledgeTime Unit System

Mathematics Subject Classification ID

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

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

Cited in

(2)

• Temporal specifications with FuXTUS. A hierarchical fuzzy approach
• scientific article; zbMATH DE number 6117314 (Why is no real title available?)

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)