Login / Signup
Christian P. Schinagl
Publication Activity (10 Years)
Years Active: 1995-1995
Publications (10 Years): 0
</>
Publications
</>
Christian P. Schinagl
VDM Specification of the Steam-Boiler Control Using RSL Notation.
Formal Methods for Industrial Applications
(1995)