Titel

Merkliste
1 Ergebnisse

Code-generating VDM for Embedded Devices:

Bandur, Victor ; Tran-Jørgensen, Peter Würtz Vinther ; Hasanagic, Miran.
Bandur , V , Tran-Jørgensen , P W V , Hasanagic , M & Lausdahl , K G 2017 , Code-generating VDM for Embedded Devices . in J Fitzgerald , P W V Tran-Jørgensen & T Oda (eds) , The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering : Proceedings . Newcastle University , University of Newcastle-upon-Tyne. Computing Science. Technical Report Series , vol. CS-TR-1513 , pp. 1-15 , THE 15TH OVERTURE WORKSHOP , Newcastle upon Tyne , United Kingdom , 15/09/2017 .. , 2017

Link: https://pure.au.dk/portal/da/publications/codegenerati..

RT Journal
T1 <Title>Code-generating VDM for Embedded Devices</Title>

UL https://suche.suub.uni-bremen.de/peid=base-ftuniaarhuspubl:oai:pure.atira.dk:publications_6851497d-91eb-4438-99d5-bc7b960b9d9c&Exemplar=1&LAN=DE
				
A1 Bandur, Victor
A1 Tran-Jørgensen, Peter Würtz Vinther
A1 Hasanagic, Miran
A1 Lausdahl, Kenneth Guldbrandt
PB Newcastle University
YR 2017
JF Bandur , V , Tran-Jørgensen , P W V , Hasanagic , M & Lausdahl , K G 2017 , Code-generating VDM for Embedded Devices . in J Fitzgerald , P W V Tran-Jørgensen & T Oda (eds) , The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering : Proceedings . Newcastle University , University of Newcastle-upon-Tyne. Computing Science. Technical Report Series , vol. CS-TR-1513 , pp. 1-15 , THE 15TH OVERTURE WORKSHOP , Newcastle upon Tyne , United Kingdom , 15/09/2017 .
LK http://dx.doi.org/https://pure.au.dk/portal/da/publications/codegenerating-vdm-for-embedded-devices(6851497d-91eb-4438-99d5-bc7b960b9d9c).html
DO https://pure.au.dk/portal/da/publications/codegenerating-vdm-for-embedded-devices(6851497d-91eb-4438-99d5-bc7b960b9d9c).html
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)