共 50 条
- [42] Interface state estimation for hardware-in-the-loop tests of structural dynamic systems PROCEEDINGS OF ISMA2016 INTERNATIONAL CONFERENCE ON NOISE AND VIBRATION ENGINEERING AND USD2016 INTERNATIONAL CONFERENCE ON UNCERTAINTY IN STRUCTURAL DYNAMICS, 2016, : 1615 - 1624
- [43] Dynamic requirements specification for adaptable and open service systems 15TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 381 - +
- [44] Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 373 - 383
- [48] Dynamic behavior of closed grinding systems and effective PID parameterization WSEAS Transactions on Systems and Control, 2009, 4 (12): : 581 - 602
- [50] Specification and Verification of Invariant Properties of Transition Systems 2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 99 - 108