[IEEE 10th International Conference on Laser and Fiber-Optical Networks Modeling (LFNM 2010). 2nd IEEE International Workshop on THz Radiation: Basic Research and Applications (TERA 2010) - Sevastopol (2010.09.12-2010.09.14)] 2010 10th International Conference on Laser and Fiber-Optical Networks Modeling - [Front matter]
- 文件大小537.34KB
- 发表时间2010
- DOI10.1109/lfnm.2010.5624167
- 页码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