Go home now Header Background Image
Submission Procedure
share: |
Follow us

Gabor Karsai
Vanderbilt University, USA

G. Karsai, A. Agrawal, F. Shi, J. Sprinkle:
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
page 1296 - 1321
Vol.9 / Issue 11
T. Szemethy, G. Karsai:
Platform Modeling and Model Transformations for Analysis
page 1383 - 1407
Vol.10 / Issue 10
G. Karsai, G. Nordstrom, A. Ledeczi, J. Sztipanovits:
Towards Two-Level Formal Modeling of Computer-Based Systems
page 1131 - 1144
Vol.6 / Issue 11