Runlei Huang

According to our database, Runlei Huang authored at least 3 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application.

Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang

Formal Aspects Comput., 2014

2011

Formalising the Continuous/Discrete Modeling Step

Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

From Requirements to Development: Methodology and Example.

Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu

Proceedings of the Formal Methods and Software Engineering, 2011