JAIST Repository >

Items for Author "Maleehuan, Pattaravut"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 2 items.

Date of IssueTitle Authors
Sep-2015 Verification of automotive operating systems for multi-core processorsMALEEHUAN, Pattaravut; まりーぬあん, ぱったーうっと
Sep-2018 マルチプロセッサのためのリラックスメモリモデルに基づいたSMTソルバによるプログラム検証Maleehuan, Pattaravut; まりーぬあん, ぱったーうっと

 


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