Sciweavers

RTSS
2009
IEEE

Component-Based Abstraction Refinement for Timed Controller Synthesis

14 years 7 months ago
Component-Based Abstraction Refinement for Timed Controller Synthesis
Hans-Jörg Peter, Robert Mattmüller
Added 21 May 2010
Updated 21 May 2010
Type Conference
Year 2009
Where RTSS
Authors Hans-Jörg Peter, Robert Mattmüller
Comments (0)