Verification of Feature Coordination using the Fluent Calculus

Autor:	Ralph Hoch, Hermann Kaindl
Rok vydání:	2018
Předmět:	Computer science Programming language Feature (computer vision) Fluent calculus computer.software_genre computer
Zdroj:	ENASE
DOI:	10.5220/0006771401690179
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f5314bed6d6f8686a6375d21ef670441 https://doi.org/10.5220/0006771401690179 Zobrazit plný text záznamu