Chronic hepatitis B virus (HBV) is an under-recognised global health threat that affects over 250 million individuals, of whom 80% reside in low-income and middle-income countries (LMICs). HBV causes ...

Today, the demand for reliable and efficient communication systems is more critical than ever, especially with the rapid growth of IoT applications. In this paper, we propose the implementation of a ...

This work uses the formal method B for the implementation of hierarchical control structures for a class of discrete-event systems modelled by Finite State Machines. Given the architecture, their ...