Sciweavers

FORTE
2004

Towards Design Recovery from Observations

13 years 5 months ago
Towards Design Recovery from Observations
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.
Hasan Ural, Hüsnü Yenigün
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where FORTE
Authors Hasan Ural, Hüsnü Yenigün
Comments (0)