Ekawit Nantajeewarawat

Available identifiers

zbMath Open nantajeewarawat.ekawitMaRDI QIDQ2841243

List of research outcomes

Publication	Date of Publication	Type
A class of rewriting rules and reverse transformation for rule-based equivalent transformation	2013-07-24	Paper
Program generation in the equivalent transformation computation model using the squeeze method	2010-02-02	Paper
On the semantics of unified modeling language diagrams using Z notation	2005-01-12	Paper
Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory	2005-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4445643	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4501587	2000-12-14	Paper

Research outcomes over time

This page was built for person: Ekawit Nantajeewarawat