A Modeling and Verification Approach Based on Graph Transformation

Autor:	Raida Elmansouri, Wafa Chama, Allaoua Chaoui
Rok vydání:	2013
Předmět:	Graph rewriting Theoretical computer science Computer science
Zdroj:	Lecture Notes on Software Engineering. :39-43
ISSN:	2301-3559
DOI:	10.7763/lnse.2013.v1.9
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4e8d3b5f7047d36d6809def4887a242b https://doi.org/10.7763/lnse.2013.v1.9 Zobrazit plný text záznamu