Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"behavioral model alphabets"”.
-
Synthesis of Partial Behavior Models from Overlapping Scenarios with Alternative Alphabets
… as a set of scenarios and a set of properties.Behavioral models are synthesized from these scenarios and properties. Behavioralmodels can be used to validate requirements specification and during early stages ofsystem design. Two problems arise during the synthesis process. They are …