为了提供给您更好的使用体验,请启用此功能。';window.onload=function(){1==navigator.cookieEnabled||(document.body.insertAdjacentHTML("beforeend",ck_html),window.onscroll=function(i){console.log(i),document.body.setAttribute("style","position:fixed")})}
1. Adding State to Stream Runtime Verification NSTL国家科技图书文献中心
Manuel Caldeira | Hannes Kallwies... - 《Runtime Verification》 - International Conference on Runtime Verification - 2025, - 163~173 - 共11页
2. A calculus for Esterel: If can, can. If no can, no can. NSTL国家科技图书文献中心
Temur Kutsia - 《Computing reviews》 - 2021,62(3) - 132~132 - 共1页
3. A compositional approach using Keras for neural networks in real-time systems NSTL国家科技图书文献中心
Xin Yang | Partha Roop... - 《2020 Design, Automation & Test in Europe Conference & Exhibition: Design, Automation & Test in Europe Conference & Exhibition (DATE), 9-13 March 2020, Grenoble, France》 - Design, Automation and Test in Europe Conference and Exhibition - 2020, - 1109~1114 - 共6页
4. A compositional approach using Keras for neural networks in real-time systems NSTL国家科技图书文献中心
Xin Yang | Partha Roop... - 《2020 Design, Automation & Test in Europe Conference & Exhibition: DATE 2020, Grenoble, France, 9-13 March 2020, [v.3]》 - Design, Automation & Test in Europe Conference & Exhibition - 2020, - 1109~1114 - 共6页
5. Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System NSTL国家科技图书文献中心
Qian Liu | Robert de Simone... - 《2020 27th Asia-Pacific Software Engineering Conference: 27th Asia-Pacific Software Engineering Conference (APSEC), 1-4 Dec. 2020, Singapore, Singapore》 - Asia-Pacific Software Engineering Conference - 2020, - 415~424 - 共10页
6. High resolution ambient noise tomography of the Southwestern Alps and the Ligurian margin SCIE Web of Science核心 SCOPUS Scopus数据库 EI 工程索引 NSTL国家科技图书文献中心
Guerin, G | Rivet, D... - 《Geophysical Journal International》 - 2020,220(2) - 806~820 - 共15页 - 被引量:10
The Southwestern | Alps and the Ligurian margin is a region of moderate | seismicity with a high rate of small to moderate events | . Identifying the active faults in this very densely populated
7. SCEst: Sequentially Constructive Esterel NSTL国家科技图书文献中心
Smyth, Steven | Motika, Christian... - 《ACM Transactions on Embedded Computing Systems》 - 2018,17(2) - 共26页 - 被引量:1
Alexander Schulz-Ros... | Steven Smyth... - 《2018 18th International Conference on Application of Concurrency to System Design: ACSD 2018, Bratislava, Slovakia, 25-29 June 2018》 - International Conference on Application of Concurrency to System Design - 2018, - 95~104 - 共10页
9. Transparent Standby for Low-Power, Resource-Constrained Embedded Systems A Programming Language-Based Approach (Short WIP Paper) NSTL国家科技图书文献中心
Francisco Sant'Anna | Alexandre Sztajnberg... - 《ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages》 - 2018,53(6) - 94~98 - 共5页
10. Synchronous neural networks for cyber-physical systems NSTL国家科技图书文献中心
Partha S Roop | Hammond Pearce... - 《2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design: MEMOCODE 2018, Beijing, China, 15-18 October 2018》 - ACM/IEEE International Conference on Formal Methods and Models for System Design - 2018, - 1~10 - 共10页
服务站
成员单位
友情链接