共 50 条
- [21] Unified modeling of complex real-time control systems [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 498 - 499
- [23] Modeling and Verifying Real-time Properties of Reactive Systems [J]. 2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 14 - 23
- [29] Reliability modeling of real-time systems with deadline information [J]. 1997 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 2, 1997, : 511 - 523