Modelling Crowd Patterns and Detection of Abnormal Behaviours from High Density Videos using Computer Vision Techniques
Verification and Validation of Temporal Models in Safety Critical Software Development Cycle A Unified Modeling Language Approach