Cited By
View all- Beggs ETucker J(2022)A model of systems with modes and mode transitionsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2022.100774127(100774)Online publication date: Jun-2022
- Chen XSankaranarayanan S(2022)Reachability Analysis for Cyber-Physical Systems: Are We There Yet?NASA Formal Methods10.1007/978-3-031-06773-0_6(109-130)Online publication date: 24-May-2022
- Kapitan RVeretilnyk TDemyanenko V(2017)DEVELOPMENT OF A MULTI-AGENT COLLISION RESOLUTION SYSTEM AT THE SUPPLY OF SPARE PARTS AND COMPONENTS TO THE PRODUCTION EQUIPMENT OF INDUSTRIAL ENTERPRISESEUREKA: Physics and Engineering10.21303/2461-4262.2017.005056(27-34)Online publication date: 30-Nov-2017
- Show More Cited By