Vahid Rafe

From MaRDI portal
Person:1049791

Available identifiers

zbMath Open rafe.vahidMaRDI QIDQ1049791

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q46100852018-04-05Paper
Towards automated software model checking using graph transformation systems and bogor2010-01-13Paper
A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows2009-05-20Paper
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems2009-01-27Paper

Research outcomes over time

This page was built for person: Vahid Rafe

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1049791&oldid=5865343"
Powered by MediaWiki