Heterogeneous reactive systems modeling and correct-by-construction deployment (2003)

by Albert Benveniste , Luca P. Carloni , Paul Caspi
Citations:43 - 8 self