Analysis of Domestic Media Reported Burst Events on Water Distribution System in 2012
Formal correctness of an automotive bus controller implementation at gate-level
Distributed simulation platform to design advanced RFID based freight transportation systems
The Influence of Pillow Material on Body Distribution and Sleeping Comfort in Supine Position
Optimization of Hub-Spoken Topology Based on Dependable Margin Motion Coefficient
An approach to the pervasive formal specification and verification of an automotive system
Optimising advanced container handling technologies via distributed simulation/emulation
Modelling and simulation of Integrated Modular Avionics systems