Formalizing effect for functional design based on Fusion and Z
Keyword(s):
2016 ◽
Vol 2016
(12)
◽
pp. 3582-3601
Keyword(s):
Keyword(s):
2017 ◽
Vol 898
◽
pp. 2076-2080
◽
Keyword(s):