Uppaal vs event-b for modelling optimised link state routing

[HTML] sciencedirect.com

[HTML][HTML] Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset

TS Hoang, C Snook, A Salehi, M Butler… - Science of Computer …, 2018 - Elsevier
We present a formal specification and analysis of a haemodialysis machine (HD machine) in
Event-B using the Rodin Toolset. The medical device domain is a particularly complex …
被引用次数：6 相关文章 所有 4 个版本