'Modeling model checking' presentation slideshows

Balancing Practices: Inspections, Testing, and Others JAXA scenario (formal method)

Balancing Practices: Inspections, Testing, and Others JAXA scenario (formal method). Masa Katahira Japanese Space Agency. Strategy to select methods. We realize that the correct use of particular methods, the combination of several methods are very important. But how? Quality Goals

284 views • 17 slides