業績一覧

Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop

修士論文, 大阪大学

タグ: model, abstraction, timed, automata, counterexample-guided, abstraction, refinement, loop

@mastersthesis{TakeshiNagaoka2008,
  author = {Takeshi Nagaoka},
  title = {Model Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop},
  school = {大阪大学},
  year = {2008}
}