Concepedia
Statistics
Publications
1
Citations
37
H-Index
Active since
1988
Y.-X. Zhang is an author specializing in real-time systems, systems engineering, and formal specification.
Top concepts
ProtocolsEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisReal-time SystemsDistributed SystemsFormal VerificationSystems Engineering
Publications per year
1988–1988
An interactive protocol synthesis algorithm using a global state transition graph
Y.-X. Zhang, Kaoru Takahashi, Norio Shiratori et al. · IEEE Transactions on Software Engineering · 1988 · 37 citations
Engineering, Verification, Interactive Synthesis Algorithm +21
1–1 of 1