Mexitl: Multimedia in executable interval temporal logic

DOI10.1023/A:1021736013555MaRDI QIDQ1395673zbMATH OpenOpenAlexFDO

Authors D. Massart

Publication date 1 July 2003

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1021736013555

zbMATH Keywords

actionsauthoringexecutableframingmodel theorymultimediasatisfactiontemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:4952324
• scientific article; zbMATH DE number 1117897
• scientific article; zbMATH DE number 3889506
• Multimedia data modeling based on temporal logic and \(XYZ\) system
• Constraint techniques for authoring multimedia documents

Cited in

(8)

• Multimedia data modeling based on temporal logic and \(XYZ\) system
• Constraint techniques for authoring multimedia documents
• scientific article; zbMATH DE number 1617309 (Why is no real title available?)
• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• scientific article; zbMATH DE number 1117897 (Why is no real title available?)
• A novel algorithm for intrusion detection based on RASL model checking
• A GENERIC SPATIAL TEMPORAL COMPUTATION MODEL FOR SYSTEMIC MULTIMEDIA PRESENTATIONS
• scientific article; zbMATH DE number 1444743 (Why is no real title available?)

This page was built for publication: \(Mexitl\): Multimedia in executable interval temporal logic

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