Műegyetemi Digitális Archívum
 

VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models

Date

Type

könyvrészlet

Publisher

IEEE Press

ISBN, e-ISBN

0-7695-1736-6

Container Title

Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Gender

konferenciaközlemény

OOC works

Abstract

Description

Keywords