Systematic Development of Control Designs via Formal Refinement
Keyword(s):
Keyword(s):
1996 ◽
Vol 4
(3)
◽
pp. 292-297
◽