SCSC2003 Abstract S01560

From High-level Specifications to Event Graphs

From High-level Specifications to Event Graphs

Submitting Author: Prof. Norbert Giambiasi

Abstract:
This paper is concerned about high level
specifications of discrete event systems. We present a
study about transformations between DECM
specifications and Event Graphs specifications. Such
transformations allow us to exploit the specific and very
different features of both representations.


Back to SCSC2003 Abstracts