11 results on '"Katahira M"'
Search Results
2. Application of GQM+Strategies® in the Japanese Space Industry.
3. Application of hierarchical accident model in independent verification and validation.
4. Model-based independent verification and validation for dependable flight software.
5. Software Independent Verification and Validation for Spacecraft at JAXA.
6. Practicing What is Preached: 80-20 Rules for Strategic IV&V Assessment.
7. Memory hierarchy design for Jetpipeline: to execute scalar and vector instructions in parallel.
8. Software pipelining for Jetpipeline architecture.
9. Making formal methods practical
10. Memory hierarchy design for Jetpipeline: to execute scalar and vector instructions in parallel
11. Identifying mode confusion potential in software design
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.