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:
Published in: | IEEE transactions on software engineering 1992, Vol.18 (9), p.785-793 |
---|---|
Main Authors: | , , |
Format: | Article |
Language: | English |
Subjects: | |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | |
---|---|
ISSN: | 0098-5589 |