JAIST Repository >

Items for Author "Satoh, Makoto"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 1 items.

Date of IssueTitle Authors
23-May-2016 Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating SystemAoki, Toshiaki; Satoh, Makoto; Tani, Mitsuhiro; Yatake, Kenro; Kishi, Tomoji

 


Contact : JAIST Library (ir-sys[at]ml.jaist.ac.jp)