Design of Safety-Critical Applications, A Synthesis Approach

Claudio Pinello

EECS Department, University of California, Berkeley

2004

Advisors: Alberto L. Sangiovanni-Vincentelli

BibTeX citation:

@phdthesis{Pinello:8273,
    Author= {Pinello, Claudio},
    Title= {Design of Safety-Critical Applications, A Synthesis Approach},
    School= {EECS Department, University of California, Berkeley},
    Year= {2004},
}

EndNote citation:

%0 Thesis
%A Pinello, Claudio 
%T Design of Safety-Critical Applications, A Synthesis Approach
%I EECS Department, University of California, Berkeley
%D 2004
%F Pinello:8273