Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ
Keyword(s):
2016 ◽
Vol 230
(7-8)
◽
pp. 1350-1358
◽
Keyword(s):
1997 ◽
Vol 38
(8)
◽
pp. 369-378
Keyword(s):
2018 ◽
Vol 189
◽
pp. 185-192
◽
2011 ◽
Vol 21
(4)
◽
pp. 428-434
◽
Keyword(s):