Zhibin Yang

Identifiers

• name variant Zhibin Yang 0.60 · backfill

Papers (1)

1. Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B cs.SE · 2015 · author #2

Mentions

• 1508.06479 #2 · backfill · confidence 0.70 Zhibin Yang

Frequent Coauthors

• David Sanan 1 shared papers
• Yang Liu 1 shared papers
• Yongwang Zhao 1 shared papers