Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE (1994)

Cached

Download Links

by Nicolas Halbwachs , Fabienne Lagnier , Christophe RATEL
Citations:83 - 12 self