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

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationUnifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
EditorsJonathan P. Bowen, Huibiao Zhu
PublisherSpringer
Publication date2017
Pages65-92
ISBN (Print)978-3-319-52227-2
ISBN (Electronic)978-3-319-52228-9
DOIs
Publication statusPublished - 2017
EventThe 6th International Symposium on Unifying Theories of Programming - Reykjavik, Iceland
Duration: 4 Jun 20165 Jun 2016
Conference number: 6th
http://utp2016.ecnu.edu.cn/

Conference

ConferenceThe 6th International Symposium on Unifying Theories of Programming
Number6th
Country/TerritoryIceland
CityReykjavik
Period04/06/201605/06/2016
Internet address
SeriesLecture Notes in Computer Science
Volume10134
ISSN0302-9743

Cite this