\(Mexitl\): Multimedia in executable interval temporal logic

DOI10.1023/A:1021736013555zbMath1029.03506OpenAlexW1666486534MaRDI QIDQ1395673

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

model theorysatisfactiontemporal logicmultimediaactionsframingauthoringexecutable

Mathematics Subject Classification ID

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

Related Items (1)

A novel algorithm for intrusion detection based on RASL model checking

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