Towards design recovery from observations

Ural, Hasan and Yenigün, Hüsnü (2004) Towards design recovery from observations. Lecture notes in computer science, 3235 . pp. 133-149. ISSN 0302-9743 (Print) 1611-3349 (Online)

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/b100576


This paper proposes an algorithm for the construction of an MSC graph from a given set of actual behaviors of an existing concurrent system which has repetitive subfunctions. Such a graph can then be checked for safe realizability and be used as input to existing synthesis techniques.

Item Type:Article
ID Code:474
Deposited By:Hüsnü Yenigün
Deposited On:25 Nov 2005 02:00
Last Modified:12 May 2009 10:33

Repository Staff Only: item control page