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.
Repository Staff Only: item control page