Open AccessA Mechanized Formal Refinement Proof of Modbus Communication Using Event-B Proof System
Author(s) -
Sanae El Mimouni,
Mohamed Bouhdadi
Publication year - 2018
Publication title -
international journal of intelligent engineering and systems
Language(s) - English
Resource type - Journals
eISSN - 2185-310X
pISSN - 1882-708X
DOI - 10.22266/ijies2018.0831.10
Subject(s) - computer science , mathematical proof , modbus , protocol (science) , formal methods , abstraction , formal proof , proof theory , programming language , proof assistant , event (particle physics) , theoretical computer science , proof complexity , proof of concept , automated theorem proving , mathematics , software , operating system , physics , geometry , quantum mechanics , medicine , philosophy , alternative medicine , pathology , epistemology
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