Skip to main content

Research Repository

Advanced Search

Outputs (123)

Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method (2017)
Journal Article

© 2016 - Society for Design and Process Science. All rights reserved. The challenging problem of formal verification of SMIL (Synchronized Multimedia Integration Language Specification) documents is considered in this paper, where we propose a hybrid... Read More about Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method.