ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
Autofocus algorithms deal with image restoration in a nonideal synthetic aperture radar (SAR) imaging system. We propose a novel autofocus algorithm, denoted as MLA, that is based...
PDSE
1998
13 years 6 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
APSEC
1999
IEEE
13 years 9 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...