Open AccessFormalization and Verification of RTPS StatefulWriter Module Using CSP
Author(s) -
Jiaqi Yin,
Huibiao Zhu,
Yuan Fei,
Qiwen Xu,
Ruobiao Wu
Publication year - 2019
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
eISSN - 2325-9086
pISSN - 2325-9000
DOI - 10.18293/seke2019-060
Subject(s) - computer science , acknowledgement , consistency (knowledge bases) , model checking , protocol (science) , reliability (semiconductor) , formal verification , process (computing) , focus (optics) , distributed computing , formal methods , process calculus , communicating sequential processes , theoretical computer science , programming language , semantics (computer science) , computer network , operational semantics , artificial intelligence , alternative medicine , optics , medicine , quantum mechanics , physics , pathology , power (physics)
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