Open AccessModeling Control Flow of Event-B Using State Transition System
Publication year - 2017
Publication title -
proceedings of 2017 the 7th international workshop on computer science and engineering
Language(s) - English
Resource type - Conference proceedings
DOI - 10.18178/wcse.2017.06.206
Subject(s) - computer science , state (computer science) , flow (mathematics) , control flow , transition (genetics) , mechanics , algorithm , physics , programming language , chemistry , biochemistry , gene