共 50 条
- [42] First Steps Towards an Institution of Algebra Replacement Systems [J]. Applied Categorical Structures, 1998, 6 : 403 - 426
- [45] Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards [J]. 2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 506 - 513
- [47] Integration testing of communicating systems with unknown components [J]. annals of telecommunications - annales des télécommunications, 2015, 70 : 107 - 125
- [48] Asynchronous Testing of Synchronous Components in GALS Systems [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 360 - 378
- [50] Equating Severity in Qualification Testing [J]. SHOCK & VIBRATION, AIRCRAFT/AEROSPACE, ENERGY HARVESTING, ACOUSTICS & OPTICS, VOL 9: PROCEEDINGS OF THE 35TH IMAC, 2017, : 325 - 330