共 50 条
- [2] P-stable abstractions of hybrid systems SOFTWARE AND SYSTEMS MODELING, 2024, 23 (02): : 403 - 426
- [3] The p-stable semantics applied to ICT systems 2010 IEEE ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE (CERMA 2010), 2010, : 174 - 179
- [8] Synthesis of P-Stable Abstractions SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2020, 12310 : 214 - 230