Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Autor:	Samy Yazid, Fatma Zohra Mekahlia, Djamel Djenouri, Abdelghani Ghomari
Rok vydání:	2017
Předmět:	Spatial coherence Theoretical computer science Computer science Programming language 0202 electrical engineering electronic engineering information engineering General Engineering 020207 software engineering 02 engineering and technology Hoare logic computer.software_genre Formal methods computer
Zdroj:	Journal of Integrated Design and Process Science. 20:39-70
ISSN:	1875-8959 1092-0617
DOI:	10.3233/jid-2016-0020
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7ee19c0edc092e1447b3deae3e0b0a44 https://doi.org/10.3233/jid-2016-0020 Zobrazit plný text záznamu