LESLP Sample Clauses

LESLP. This is an emergency response SoS based on the Major Incident Response Procedures laid down by the London Emergency Services Liaison Panel. The study will be developed by UNEW. Some preliminary formal modelling word has been done in other formalisms23. The study will use both SysML and the COMPASS Modelling Language, focussing on the verification of information flow properties of this collaborative SoS formed from the active units of the emergency services.