共 50 条
- [21] Formal methods for railway control systems International Journal on Software Tools for Technology Transfer, 2014, 16 : 643 - 646
- [23] Towards a formal framework for the specification of hybrid fuzzy modeling PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1 AND 2, 2003, : 1014 - 1019
- [29] Preface of the special issue on formal methods in industrial critical systems International Journal on Software Tools for Technology Transfer, 2017, 19 : 391 - 393