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