VDM specification of the steam-boiler control using RSL notation

• 1 January 1996
• book chapter
• Published by Springer Nature
• p. 428-452
• https://doi.org/10.1007/bfb0027248

Abstract

Keywords

• WATER LEVEL
• PHYSICAL UNIT
• CLASS EXPRESSION
• WATER LEVEL MEASUREMENT
• ABSTRACT TYPE