| dc.contributor.editor | Liu, Zhiming | |
| dc.contributor.editor | Stolz, Volker | |
| dc.date.accessioned | 2019-04-03T07:22:27Z | |
| dc.date.available | 2019-04-03T07:22:27Z | |
| dc.date.created | 2019-03-25T11:49:17Z | |
| dc.date.issued | 2019 | |
| dc.identifier.citation | Liu, Z., & Stolz, V. (2019). Methods and tool support for refinement, model transformation and verification of network systems. Bergen: Høgskulen på Vestlandet. | nb_NO |
| dc.identifier.uri | http://hdl.handle.net/11250/2593033 | |
| dc.description.abstract | This compendium contains the lecture notes used in the “BeChong” meetings held as part of the SIU-funded bilateral project “Methods and Tool Support for Re nement, Model Transformation and Veri cation of Network Systems” (UTF-2016-short-term/10049) between the Western Norway University of Applied Sciences (HVL), Bergen, Norway, and Southwest University (SWU), Chongqing, China. The Department of Informatics at the University of Bergen and the Guizhou Academy of Sciences, Guiyang, China participated as network partners. | nb_NO |
| dc.language.iso | eng | nb_NO |
| dc.publisher | HVL | nb_NO |
| dc.relation.uri | http://home.hib.no/ansatte/vsto/bechong/bechong-kompendium.pdf | |
| dc.title | Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems | nb_NO |
| dc.type | Others | nb_NO |
| dc.description.version | publishedVersion | nb_NO |
| dc.source.pagenumber | 566 | nb_NO |
| dc.identifier.cristin | 1687472 | |
| dc.relation.project | Direktoratet for internasjonalisering og kvalitetsutvikling i høgare utdanning: UTF-2016-short-term/10049 | nb_NO |
| cristin.unitcode | 203,0,0,0 | |
| cristin.unitname | Høgskulen på Vestlandet | |
| cristin.ispublished | true | |
| cristin.fulltext | original | |
