An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-05-01
著者
-
KUSUMOTO Shinji
Graduate School of Information Science and Technology, Osaka University
-
Kusumoto Shinji
Osaka Univ. Suita‐shi Jpn
-
Kusumoto Shinji
Graduate School Of Information Science And Technology Osaka University
-
Kusumoto Shinji
Graduate School Of Engineering Science Osaka University
-
NAGAOKA Takeshi
Graduate School of Information Science and Technology, Osaka University
-
OKANO Kozo
Graduate School of Information Science and Technology, Osaka University
-
Okano Kozo
Graduate School Of Information Science And Technology Osaka University
-
Nagaoka Takeshi
Graduate School Of Information Science And Technology Osaka University
関連論文
- A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks
- Effectiveness of an Integrated CASE Tool for Productivity and Quality of Software Developments(Software Engineering)
- An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
- Comparing Reading Techniques for Object-Oriented Design Inspection(Software Engineering)
- Extended Metrics to Evaluate Cost Effectiveness of Software Inspections(Software Engineering)
- Software Project Simulator for Effective Process Improvement (特集 〔情報処理学会〕創立40周年記念論文)
- Experimental Evaluation of Two-Phase Project Control for Software Development Process(Special Section on Concurrent Systems Technology)
- Empirical Evaluation of Method Complexity for C++ Program
- Experimental Evaluation of Team Performance in Program Development Based on a Model : Extension of a Programmer Performance Model
- QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation