Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems
Others
Published version
Permanent lenke
http://hdl.handle.net/11250/2593033Utgivelsesdato
2019Metadata
Vis full innførselSamlinger
Originalversjon
Liu, Z., & Stolz, V. (2019). Methods and tool support for refinement, model transformation and verification of network systems. Bergen: Høgskulen på Vestlandet.Sammendrag
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.