楠本研究室

業績一覧

ホーム業績一覧

Study on Model Abstraction for Model Checking of Real-time Systems

Study on Model Abstraction for Model Checking of Real-time Systems
博士論文, 大阪大学
PDF
タグ: abstraction, checking, model, real-time, study, systems
@phdthesis{TakeshiNagaoka2011a,
  author = {Takeshi Nagaoka},
  title = {Study on Model Abstraction for Model Checking of Real-time Systems},
  school = {大阪大学},
  year = {2011}
}