Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

A. Benveniste, L. P. Carloni, P. Caspi and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M03/23
June 2003

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2003/ERL-03-23.pdf


BibTeX citation:

@techreport{Benveniste:M03/23,
    Author = {Benveniste, A. and Carloni, L. P. and Caspi, P. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2003},
    Month = {Jun},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2003/4108.html},
    Number = {UCB/ERL M03/23}
}

EndNote citation:

%0 Report
%A Benveniste, A.
%A Carloni, L. P.
%A Caspi, P.
%A Sangiovanni-Vincentelli, Alberto L.
%T Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
%I EECS Department, University of California, Berkeley
%D 2003
%@ UCB/ERL M03/23
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2003/4108.html
%F Benveniste:M03/23