![](/img/cover-not-exists.png)
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE
Ratel, Christophe, Halbwachs, Nicolas, Raymond, PascalVolume:
16
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/123041.123062
Date:
November, 1991
File:
PDF, 722 KB
english, 1991