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

2 Citationer (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

Citationsformater