共 50 条
- [31] An approach to modeling and verification of real-time systems [J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 283 - 290
- [32] Modeling Spaces for Real-Time Embedded Systems [J]. 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
- [33] A method for modeling and verification of real-time systems [J]. PROCEEDINGS IEEE SOUTHEASTCON '98: ENGINEERING FOR A NEW ERA, 1998, : 53 - 56
- [34] MODELING REAL-TIME SYSTEMS - ISSUES AND CHALLENGES [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 1 - 28
- [35] Digital real-time simulation for distribution systems [J]. 2000 IEEE ESMO - 2000 IEEE 9TH INTERNATIONAL CONFERENCE ON TRANSMISSION & DISTRIBUTION CONSTRUCTION, OPERATION & LIVE-LINE MAINTENANCE PROCEEDINGS, 2000, : 252 - 258
- [38] Challenges of Modeling Electrical Distribution Networks in Real-Time [J]. 2015 International Symposium on Smart Electric Distribution Systems and Technologies (EDST), 2015, : 556 - 559
- [39] Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [40] Customized Real-Time Data Management for Automotive Systems: A Case Study [J]. IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, : 8397 - 8404