共 50 条
- [22] A comparison of railway track foundation design methods Proc Inst Mech Eng Part F J Rail Rapid Transit, 1 (1-12):
- [23] Checking JML specifications with B machines ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 434 - 453
- [26] A comparison of OO and Reactive based specifications on the Design of Embedded Systems 13TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2000, : 391 - 396
- [27] Analysis, comparison and design of role-based security specifications Data Knowl Eng, 1 (31-55):
- [29] Optimal design of geometrical and physical parameters of permanent magnet machines in the purpose to reduce its vibratory behavior 2013 3RD INTERNATIONAL CONFERENCE ON ELECTRIC POWER AND ENERGY CONVERSION SYSTEMS (EPECS), 2013,