The 14th Overture Workshop: Towards Analytical Tool Chains

Forfattere

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

Nøgleord:

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

Resumé

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

Publiceret

2016-11-01

Citation/Eksport

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

Nummer

Årg. 4 Nr. 28 (2016): The 14th Overture Workshop: Towards Analytical Tool Chains

Sektion

Reports

Licens

Reproduction permitted provided the source is explicitly acknowledged.

The authors have all rights to the reports.