A Two-Way Path Between Formal and Informal Design of Embedded Systems

Mingshuai Chen, Anders Peter Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)
OriginalsprogEngelsk
TitelUnifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
RedaktørerJonathan P. Bowen, Huibiao Zhu
ForlagSpringer
Publikationsdato2017
Sider65-92
ISBN (Trykt)978-3-319-52227-2
ISBN (Elektronisk)978-3-319-52228-9
DOI
StatusUdgivet - 2017
BegivenhedThe 6th International Symposium on Unifying Theories of Programming - Reykjavik, Island
Varighed: 4 jun. 20165 jun. 2016
Konferencens nummer: 6th
http://utp2016.ecnu.edu.cn/

Konference

KonferenceThe 6th International Symposium on Unifying Theories of Programming
Nummer6th
LandIsland
ByReykjavik
Periode04/06/201605/06/2016
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind10134
ISSN0302-9743

Bibliografisk note

Revised Selected Papers

Citer dette

Chen, M., Ravn, A. P., Wang, S., Yang, M., & Zhan, N. (2017). A Two-Way Path Between Formal and Informal Design of Embedded Systems. I J. P. Bowen, & H. Zhu (red.), Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (s. 65-92). Springer. Lecture Notes in Computer Science, Bind. 10134 https://doi.org/10.1007/978-3-319-52228-9_4
Chen, Mingshuai ; Ravn, Anders Peter ; Wang, Shuling ; Yang, Mengfei ; Zhan, Naijun . / A Two-Way Path Between Formal and Informal Design of Embedded Systems. Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. red. / Jonathan P. Bowen ; Huibiao Zhu. Springer, 2017. s. 65-92 (Lecture Notes in Computer Science, Bind 10134).
@inproceedings{bd8390580bc54704a7e7b6acce26e208,
title = "A Two-Way Path Between Formal and Informal Design of Embedded Systems",
author = "Mingshuai Chen and Ravn, {Anders Peter} and Shuling Wang and Mengfei Yang and Naijun Zhan",
note = "Revised Selected Papers",
year = "2017",
doi = "10.1007/978-3-319-52228-9_4",
language = "English",
isbn = "978-3-319-52227-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "65--92",
editor = "Bowen, {Jonathan P.} and Huibiao Zhu",
booktitle = "Unifying Theories of Programming",
address = "Germany",

}

Chen, M, Ravn, AP, Wang, S, Yang, M & Zhan, N 2017, A Two-Way Path Between Formal and Informal Design of Embedded Systems. i JP Bowen & H Zhu (red), Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Springer, Lecture Notes in Computer Science, bind 10134, s. 65-92, The 6th International Symposium on Unifying Theories of Programming, Reykjavik, Island, 04/06/2016. https://doi.org/10.1007/978-3-319-52228-9_4

A Two-Way Path Between Formal and Informal Design of Embedded Systems. / Chen, Mingshuai ; Ravn, Anders Peter; Wang, Shuling ; Yang, Mengfei ; Zhan, Naijun .

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. red. / Jonathan P. Bowen; Huibiao Zhu. Springer, 2017. s. 65-92 (Lecture Notes in Computer Science, Bind 10134).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - A Two-Way Path Between Formal and Informal Design of Embedded Systems

AU - Chen, Mingshuai

AU - Ravn, Anders Peter

AU - Wang, Shuling

AU - Yang, Mengfei

AU - Zhan, Naijun

N1 - Revised Selected Papers

PY - 2017

Y1 - 2017

UR - http://www.springer.com/us/book/9783319522272

U2 - 10.1007/978-3-319-52228-9_4

DO - 10.1007/978-3-319-52228-9_4

M3 - Article in proceeding

SN - 978-3-319-52227-2

T3 - Lecture Notes in Computer Science

SP - 65

EP - 92

BT - Unifying Theories of Programming

A2 - Bowen, Jonathan P.

A2 - Zhu, Huibiao

PB - Springer

ER -

Chen M, Ravn AP, Wang S, Yang M, Zhan N. A Two-Way Path Between Formal and Informal Design of Embedded Systems. I Bowen JP, Zhu H, red., Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Springer. 2017. s. 65-92. (Lecture Notes in Computer Science, Bind 10134). https://doi.org/10.1007/978-3-319-52228-9_4