[IEEE 2012 3rd IEEE International Workshop on Low Temperature Bonding for 3D Integration (LTB-3D) - Tokyo, Japan (2012.05.22-2012.05.23)] 2012 3rd IEEE International Workshop on Low Temperature Bonding for 3D Integration - Contents
- 文件大小64.05KB
- 发表时间2012
- DOI10.1109/ltb-3d.2012.6238039
- 页码1-7
Non-Intrusive In-Situ Requirements Monitoring of Embedded SystemSeo, Minjun; Lysecky, Roman · ACM Transactions on Design Automation of Electronic Systems · 2018
[ACM Press the 2019 - Tysons Corner, VA, USA (2019.05.09-2019.05.11)] Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI '19 - Automatic Extraction of Requirements from State-based Hardware Designs for Runtime VerificationSeo, Minjun; Lysecky, Roman · 2019
[IEEE 2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC) - Chiba, Japan (2015.1.19-2015.1.22)] The 20th Asia and South Pacific Design Automation Conference - Timing-based anomaly detection in embedded systemsSixing Lu, ; Minjun Seo, ; Lysecky, Roman · 2015
[IEEE 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) - Turin (2018.9.30-2018.10.5)] 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) - Work-in-Progress: Runtime Requirements Monitoring for State-based HardwareSeo, Minjun; Lysecky, Roman · 2018
Table of ContentsIEEE Embedded Systems Letters · 2015
Blank pageIEEE Embedded Systems Letters · 2015
IEEE Embedded Systems Letters publication informationIEEE Embedded Systems Letters · 2015
Expand your professional network with IEEEIEEE Embedded Systems Letters · 2015
Expand your network, get rewardedIEEE Embedded Systems Letters · 2015
Blank pageIEEE Embedded Systems Letters · 2015
Blank pageIEEE Embedded Systems Letters · 2016
Introducing IEEE CollabratecIEEE Embedded Systems Letters · 2015