Automated Formal Verification of Visual Modeling Languages by Model Checking

Link to refer to this document:

Title: Automated Formal Verification of Visual Modeling Languages by Model Checking
Author: Varró, Dániel
Date of issue: 2004
Language: en
Identifiers: MTMT: 2612540
Title of the container document: SOFTWARE AND SYSTEMS MODELING
Volume of container document: 3
Number of container document: 2
ISSN, e-ISSN: 1619-1366; 1619-1374
Document type: folyóiratcikk
Document genre: szakcikk