EEMCS
Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


21269 Formal Semantics of the CHART Transformation Language
 Home Policy Brochure Browse Search User Area Contact Help

de Mol, M.J. and Rensink, A. (2011) Formal Semantics of the CHART Transformation Language. Technical Report TR-CTIT-12-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Full text available as:

PDF
 - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
240 Kb

Item Type:Internal Report (Technical Report)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:CHARTER: Critical and High Assurance Requirements Transformed through Engineering Rigor
ID Code:21269
Deposited On:19 January 2012
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item