共 50 条
- [31] Dependable oriented design of complex integrated power systems on ships 2015 INTERNATIONAL CONFERENCE ON ELECTRICAL SYSTEMS FOR AIRCRAFT, RAILWAY, SHIP PROPULSION AND ROAD VEHICLES (ESARS), 2015,
- [32] DESIGN DESCRIPTION LANGUAGES FOR THE DESIGN OF PREDICTABLY DEPENDABLE REAL-TIME SYSTEMS IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 598 - 598
- [33] Design and optimization of complex real-time dependable systems SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 218 - 224
- [34] Formal Methods in Industrial Dependable Systems Design - The TTTech Example PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 8 - 8
- [36] A fault tolerance infrastructure for dependable computing with high-performance COTS components DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2000, : 492 - 500