Refinement Based Formal Development of Human-Machine Interface
Keyword(s):
1985 ◽
Vol 14
(1)
◽
pp. 23-33
◽
1994 ◽
Vol 10
(2)
◽
pp. 111-127
◽