Miyata Satoshi | Japan Advanced Institute of Science and Technology
スポンサーリンク
概要
Japan Advanced Institute of Science and Technology | 論文
- Automatic Generation of Model Checking Scripts based on Environment Modeling
- Highly Reliable Embedded Software Development Using Advanced Software Technologies(Software Engineering for Embedded Systems)
- Extracting threads from concurrent objects for the design of embedded systems
- Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification