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 “"Synthesis, Verification, Visualization, Z/Object-Z, CSP/Timed CSP, MSC/LSC"”.
-
Complementary formalisms - synthesis, verification and visualization
… part of this thesis is dedicated to the synthesis problem. For system engineering starting with logic-based models, we developed a method of synthesizing finite state machines from Object-Z models with history invariants. For system development starting with diagrams, we investigated ways …