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 , proof of concept , modbus , programming language , formal proof , event (particle physics) , mathematical proof , operating system , mathematics , physics , geometry , software , quantum mechanics