Zhicheng Fu

Identifiers

• name variant Zhicheng Fu 0.50 · backfill

Papers (3)

1. Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report cs.SE · 2018 · author #2
2. Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version) cs.SE · 2018 · author #2
3. Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report) cs.SE · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Chunhui Guo 3 shared papers
• Lui Sha 3 shared papers
• Shangping Ren 3 shared papers
• Zhenyu Zhang 3 shared papers