A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications
Keyword(s):
Keyword(s):
Keyword(s):
2010 ◽
Vol 41
(4)
◽
pp. 185-194
◽