共 50 条
- [41] Transformation of Lotos specifications to Estelle specifications SECOND IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1997, : 215 - 220
- [43] Investigating transmission power control for wireless sensor networks based on 802.15.4 specifications Telecommunication Systems, 2014, 56 : 299 - 310
- [44] Thermoelectric power generator design and selection from TE cooling module specifications PROCEEDINGS ICT'97 - XVI INTERNATIONAL CONFERENCE ON THERMOELECTRICS, 1997, : 551 - 554
- [46] Optimal Design and Synthesis of MEA Power System Architectures Considering Reliability Specifications IEEE TRANSACTIONS ON TRANSPORTATION ELECTRIFICATION, 2020, 6 (04): : 1801 - 1818
- [47] Comparing the Topologies of Satellite Electrical Power Subsystem Based on System Level Specifications PROCEEDINGS OF 6TH INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SPACE TECHNOLOGIES (RAST 2013), 2013, : 671 - 675
- [48] Automated Verification of Power System Protection Schemes - Part I: Modelling and Specifications 2015 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, 2015,
- [49] Typed specifications for repairing steam and hot-water boilers of industrial power Teploenerg, 4 (75-77):