Automatic Verification of the Control Flow Model for Effective Embedded Software Design
Keyword(s):
Keyword(s):
2004 ◽
Vol 108
◽
pp. 99-112
◽
Keyword(s):
2013 ◽
Vol 321-324
◽
pp. 3049-3055
2014 ◽
Vol 668-669
◽
pp. 866-872