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

Abstract

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
Subjects:	UNSPECIFIED
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