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

✍ Scribed by Halbwachs, N.; Lagnier, F.; Ratel, C.

• Book ID: 117871942
• Publisher: IEEE
• Year: 1992
• Tongue: English
• Weight: 946 KB
• Volume: 18
• Category: Article
• ISSN: 0098-5589
• DOI: 10.1109/32.159839