Robert Hilbrich. How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle. Adv. Software Engineering, 2012, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.