Open AccessModeling Control Flow of Event-B Using State Transition System
Publication year - 2017
Publication title -
proceedings of 2016 the 6th 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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom