Műegyetemi Digitális Archívum

Automated Formal Verification of Visual Modeling Languages by Model Checking

Files

Primary 13205.pdf (876.66 KB)

Date

2004

Title

Automated Formal Verification of Visual Modeling Languages by Model Checking

Authors

Varró, Dániel

Type

folyóiratcikk

ISSN, e-ISSN

1619-1366
1619-1374

Periodical Number

2

Periodical Volume

3

Container Title

SOFTWARE AND SYSTEMS MODELING

Gender

szakcikk
Cite this item
http://hdl.handle.net/10890/2507

OOC works

Abstract

Description

Keywords

Collections

BME PA dokumentumai