Loading…

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

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1992, Vol.18 (9), p.785-793
Main Authors: HALBWACHS, N, LAGNIER, F, RATEL, C
Format: Article
Language:English
Subjects:
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0098-5589