Code-generating VDM for Embedded Devices

Publikation: Forskning - peer reviewKonferencebidrag i proceedings

Dokumenter

  • bandur

    Forlagets udgivne version, 165 KB, PDF-dokument

OriginalsprogEngelsk
TitelThe 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering : Proceedings
RedaktørerJ Fitzgerald, P.W.V. Tran-Jørgensen, T. Oda
Antal sider15
ForlagNewcastle University
Udgivelsesårsep. 2017
Sider1-15
StatusUdgivet - sep. 2017
BegivenhedTHE 15TH OVERTURE WORKSHOP - Room 4.005, Urban Sciences Building, Science Central, Newcastle upon Tyne, Storbritannien
Varighed: 15 sep. 2017 → …
http://overturetool.org/workshops/15th-Overture-Workshop.html

Workshop

WorkshopTHE 15TH OVERTURE WORKSHOP
LokationRoom 4.005, Urban Sciences Building, Science Central
LandStorbritannien
ByNewcastle upon Tyne
Periode15/09/2017 → …
Internetadresse
SerieUniversity of Newcastle-upon-Tyne. Computing Science. Technical Report Series
Vol/bindCS-TR-1513
ISSN1368-1060

Bibliografisk note

This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.

Se relationer på Aarhus Universitet Citationsformater

ID: 117630726