Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (2)
Journals (0)
Save Search
1-2 of 2
results for
SMIL 3.0
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method
Available access
Research article
First published 2016
Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method
Fatma Zohra Mekahlia,
Abdelghani Ghomari,
Samy Yazid
[...]
View All
Journal of Integrated Design and Process Science
Preview Abstract
PDF
Select article: Synchronization Management in Hypermedia Documents
Available access
Research article
First published 2019
Synchronization Management in Hypermedia Documents
Naima Beladam,
Abdelghani Ghomari
Journal of Integrated Design and Process Science
Preview Abstract
PDF
1
10 / page