Specifying safety-critical embedded systems with statecharts and Z: A case study
2015 ◽
Vol 633
◽
pp. 012053
◽
Keyword(s):
2009 ◽
Vol 3
(1)
◽
pp. 109-116
◽