共 50 条
- [1] Design and implementation of a microprocessor-based interrupt-driven control for an irrigation system [J]. 2006 1ST IEEE INTERNATIONAL CONFERENCE ON E-LEARNING IN INDUSTRIAL ELECTRONICS, 2006, : 68 - +
- [4] Microprocessor-based distance relay [J]. NATIONAL POWER ENGINEERING CONFERENCE PECON 2003, PROCEEDINGS, 2003, : 43 - 46
- [5] THE MICROSYNCHRONIZER - A MICROPROCESSOR-BASED SYNCHRONIZING RELAY [J]. MECHANICAL ENGINEERING, 1983, 105 (05): : 82 - 82
- [6] FAULT-TOLERANT MICROPROCESSOR-BASED OVERCURRENT RELAYS [J]. MICROELECTRONICS AND RELIABILITY, 1991, 31 (01): : 133 - 139
- [7] A Denotational Model for Interrupt-Driven Programs [J]. IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 15 - 20
- [8] Static checking of interrupt-driven software [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 47 - 56
- [9] Modular Verification of Interrupt-Driven Software [J]. PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 206 - 216