Cited By
View all- Helal RSeghiri ABelala FHameurlain N(2024)Towards a Formal Modeling Approach for Cyber-Physical Systems RequirementsProceedings of the 2024 13th International Conference on Software and Computer Applications10.1145/3651781.3651827(298-309)Online publication date: 1-Feb-2024
- Zhou ZSong JXie XShu ZMa LLiu DYin JSee SRoychoudhury APaiva AAbreu RStorey MAniche MNagappan N(2024)Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics ManipulationProceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice10.1145/3639477.3639740(263-274)Online publication date: 14-Apr-2024
- Cheng XXu MPan RYu DWang CXiao XLyu W(2023)Meta ComputingIEEE Network: The Magazine of Global Internetworking10.1109/MNET003.230009238:2(225-231)Online publication date: 29-May-2023
- Show More Cited By