The purpose of this paper is to communicate the technical issues involved in integrating data fusion technologies in the development of an integrated base defence system. Options are presented, with possible alternatives, ...

Model checking has been used to verify the correctness of digital circuits, security protocols, communication protocols, as they can be modelled by means of finite state transition model. However, modelling the behaviour ...