Sciweavers

Share
IEICET
2010

An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop

8 years 9 months ago
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto
Added 26 Jan 2011
Updated 26 Jan 2011
Type Journal
Year 2010
Where IEICET
Authors Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto
Comments (0)
books