首页> 外文OA文献 >Symbolic execution and timed automata model checking for timing analysis of Java real-time systems

【2h】

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems

机译：符号执行和定时自动机模型检查Java实时系统的时序分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Luckow, Kasper Søe; Păsăreanu, Corina S.; Thomsen, Bent;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Symbolic execution and timed automata model checking for timing analysis of Java real-time systems [J] . Kasper S. Luckow, Corina S. P?s?reanu, Bent Thomsen EURASIP journal on embedded systems . 2015,第1期

机译：用于Java实时系统时序分析的符号执行和定时自动机模型检查
2. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis [J] . Corina S. Pasareanu, Willem Visser, David Bushnell, Automated software engineering . 2013,第3期

机译：Symbolic PathFinder：将符号执行与模型检查集成在一起，以进行Java字节码分析
3. How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study [J] . A. BURNS Real-time systems . 2003,第2期

机译：如何验证安全的实时系统：模型检查和定时自动机在生产单元案例研究中的应用
4. Real-time symbolic model checking for hard real-time systems [C] . Tachi Y., Yamane S. Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on . 1999

机译：硬实时系统的实时符号模型检查
5. Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking. [D] . Chang, Che-Wei. 2015

机译：使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
6. Performance Analysis of IoT-Based Sensor Big Data Processing and Machine Learning Model for Real-Time Monitoring System in Automotive Manufacturing [O] . Muhammad Syafrudin, Ganjar Alfian, Norma Latif Fitriyani, 2018

机译：汽车制造业实时监控系统中基于物联网的传感器大数据处理和机器学习模型的性能分析
7. Symbolic execution and timed automata model checking for timing analysis of Java real-time systems [O] . 2015

机译：用于Java实时系统时序分析的符号执行和定时自动机模型检查
8. Boolean Approach to Unbounded, Fully Symbolic Model Checking of Timed Automata [R] . Seshia, S. A. , Bryant, R. E. 2003

机译：时间自动机无界完全符号模型检验的布尔方法

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems

著录项

引文网络

相似文献

相关主题

期刊订阅