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

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

doi:10.1007/978-3-319-52228-9_4

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

4 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Redaktører	Jonathan P. Bowen, Huibiao Zhu
Forlag	Springer
Publikationsdato	2017
Sider	65-92
ISBN (Trykt)	978-3-319-52227-2
ISBN (Elektronisk)	978-3-319-52228-9
DOI	https://doi.org/10.1007/978-3-319-52228-9_4
Status	Udgivet - 2017
Begivenhed	The 6th International Symposium on Unifying Theories of Programming - Reykjavik, Island Varighed: 4 jun. 2016 → 5 jun. 2016 Konferencens nummer: 6th http://utp2016.ecnu.edu.cn/

Konference

Konference	The 6th International Symposium on Unifying Theories of Programming
Nummer	6th
Land/Område	Island
By	Reykjavik
Periode	04/06/2016 → 05/06/2016
Internetadresse	http://utp2016.ecnu.edu.cn/

Navn	Lecture Notes in Computer Science
Vol/bind	10134
ISSN	0302-9743

Bibliografisk note

Revised Selected Papers

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

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

Citationsformater

Chen, Mingshuai ; Ravn, Anders Peter ; Wang, Shuling et al. / 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; The 6th International Symposium on Unifying Theories of Programming ; Conference date: 04-06-2016 Through 05-06-2016",

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",

url = "http://utp2016.ecnu.edu.cn/",

}

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 et al.
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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 - Conference code: 6th

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

T2 - The 6th International Symposium on Unifying Theories of Programming

Y2 - 4 June 2016 through 5 June 2016

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). doi: 10.1007/978-3-319-52228-9_4