Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing
Keyword(s):
2013 ◽
Vol 12
(2)
◽
pp. 219-232
◽
Keyword(s):
2009 ◽
Vol 18
(3-4)
◽
pp. 47-54
◽
Keyword(s):