The 14th Overture Workshop: Towards Analytical Tool Chains

Authors

  • Peter Gorm Larsen Department of Engineering, Aarhus University
  • Nico Plat
  • Nick Battle

Keywords:

Electronics, power electronics, optics and photonics, biomedical devices and applications, communication systems, digital signal processing, embedded systems, software engineering and systems

Abstract

This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk.

Downloads

Published

2016-11-01

How to Cite

Larsen, P. G., Plat, N., & Battle, N. (2016). The 14th Overture Workshop: Towards Analytical Tool Chains. Technical Report Electronics and Computer Engineering, 4(28). Retrieved from https://tidsskrift.dk/ece/article/view/24731

Issue

Vol. 4 No. 28 (2016): The 14th Overture Workshop: Towards Analytical Tool Chains

Section

Reports

License

Reproduction permitted provided the source is explicitly acknowledged.

The authors have all rights to the reports.