How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.