We stand with Ukraine  

Wen Su

Orcid: 0000-0003-2904-8692

Affiliations:
  • Shanghai University, Shanghai, China


According to our database1, Wen Su authored at least 3 papers between 2014 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Modeling of Timing Constraints in Hybrid Systems Using Event-B.
[BibTeX]
[DOI]
Wen Su
IEEE Trans. Reliab., 2020

2018
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B.
[BibTeX]
[DOI]
Wen Su
,
Jinxin Chen
,
Shehroz Khan
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2014
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System.
[BibTeX]
[DOI]
Wen Su
,
Jean-Raymond Abrial
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014


  Loading...