Keyword:COCO

Publications
The Challenges and Triumphs of CSP Based Formal Verification Andrew Roscoe and Pedro Antonino In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Smart Object Detection Using Machine Learning in Python Parikshit Jain, Nilesh Wagmode, Gaurav Jalambe and Akanksha Kaldate EasyChair Preprint 10177
Video Surveillance System with Auto Informing Feature Lokesh Chouhan, Ekta Tyagi, Deeksha Rana, Shubham Poddar, Chandranshu Malhotra, Vikas Kumar Sahu and Jayash Verma EasyChair Preprint 2144