Runlei Huang

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Discrete Variables

Intelligent User Interfaces

Design Guidelines

Top Venues

Formal Aspects Comput.

Publications

Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Formal Aspects Comput. 26 (2) (2014)
Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu
From Requirements to Development: Methodology and Example. ICFEM (2011)
Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
Formalising the Continuous/Discrete Modeling Step Refine@FM (2011)