共 50 条
- [41] From model-based design to formal verification of adaptive embedded systems FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 76 - +
- [42] Applying SMT-based verification to hardware/software partitioning in embedded systems Design Automation for Embedded Systems, 2016, 20 : 1 - 19
- [43] HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems 2018 NASA/ESA CONFERENCE ON ADAPTIVE HARDWARE AND SYSTEMS (AHS 2018), 2018, : 249 - 256
- [44] EVINCED: Integrity Verification Scheme for Embedded Systems Based on Time and Clock Cycles 2017 IEEE 15TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 15TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 3RD INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS(DASC/PICOM/DATACOM/CYBERSCI, 2017, : 788 - 795
- [45] A pruning approach for GMM-based speaker verification in mobile embedded systems BIOMETRIC AUTHENTICATION, PROCEEDINGS, 2004, 3072 : 607 - 613
- [46] System-Level Assertion-Based Performance Verification for Embedded Systems ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 243 - 250
- [47] Towards a Verification Approach for Reconfigurable Embedded Systems 2012 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2012, : 750 - 752
- [48] Formal verification and validation of embedded systems: the UML-based MADES approach Software & Systems Modeling, 2015, 14 : 343 - 363
- [50] Functional verification for UML-based model driven design of embedded systems FROM SPECIFICATION TO EMBEDDED SYSTEMS APPLICATION, 2005, 184 : 103 - 114