Blar i Institutt for datateknologi, elektroteknologi og realfag på dokumenttype "Others"
Viser treff 1-1 av 1
-
Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems
(Others, 2019)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” ...