1 paper
Sanjiva Prasad, R. Madhukar Yerraguntla
The synchronous reactive data flow language LUSTRE is an expressive language, equipped with a suite of tools for modelling, simulating and model-checking a wide variety of safety-c…